Coordination requirements expressed in types for active objects
- 1 January 1997
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
- p. 367-388
- https://doi.org/10.1007/bfb0053387
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- The specification of process synchronization by path expressionsPublished by Springer Science and Business Media LLC ,2005
- A behavioral notion of subtypingACM Transactions on Programming Languages and Systems, 1994
- Type-theoretic foundations for concurrent object-oriented programingACM SIGPLAN Notices, 1994
- Systematic concurrent object-oriented programmingCommunications of the ACM, 1993
- A sort inference algorithm for the polyadic π-calculusPublished by Association for Computing Machinery (ACM) ,1993
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990
- ActorsPublished by MIT Press ,1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Communicating sequential processesCommunications of the ACM, 1978
- Viewing control structures as patterns of passing messagesArtificial Intelligence, 1977