Logo
LogoUniGeSES

ASG list of publications

Citation

Oscar Nierstrasz, Michael Papathomas, "Towards a Type Theory for Active Objects", ACM OOPS Messenger, Proceedings OOPSLA/ECOOP 90 Workshop on Object-Based Concurrent Systems, vol.2, no. 2, pp. 89-93, April, 1991

Abstract

Currently popular notions of types, such as signature compatibility, fail to express essential properties of concurrent active objects that are necessary for their correct use in new contexts. We propose and explore a new notion of compatibility called interaction conformance defined in terms of the possible interactions between an object and its clients. We relate interaction conformance to known equivalence relations between communicating concurrent agents, and we show that, by viewing types as certain kinds of indeterminate agents, interaction conformance gives us a subtype relationship. We briefly explore the potential for applying these ideas to concurrent object-oriented languages.

Bibtex

@article{Nier91d,
Author = "Oscar Nierstrasz, Michael Papathomas",
Title = "Towards a Type Theory for Active Objects",
Journal = "ACM OOPS Messenger, Proceedings OOPSLA/ECOOP 90 Workshop on Object-Based Concurrent Systems",
Volume = "2",
Number = "2",
Pages = "89-93",
Key = "olit-obc pcalc equivalence semantics abacus osg-ftp tr90 obc90",
Notes = "",
Month = "April",
Year = "1991"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.