Behavioural types for a calculus of concurrent objects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1300 LNCS, Issue , 1997, Pages 554-561

  Ravara, António ^a   Vasconcelos, Vasco ^b  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ACTIVE OBJECT; BEHAVIOURAL TYPES; CONCURRENT OBJECTS; DYNAMIC ASPECTS; NAME PASSING CALCULI; NON-UNIFORM; SERVICE AVAILABILITY; TYPE SYSTEMS;

CALCULATIONS;

EID: 0343355848     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0002782     Document Type: Conference Paper

References (12)

1. G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. M.I.T. Press, 1986.
2. K. Honda and M. Tokoro. An object calculus for asynchronous communication. In ECOOP'91, pages 141-162. Springer-Verlag LNCS 512, 1991.
3. N. Kobayashi and A. Yonezawa. Towards foundations of concurrent object-oriented programming - types and language design. Theory and Practice of Object Systems, 1(4), 1995.
4. X. Liu and D. Walker. A polymorphic type system for the polyadic 7r-calculus. In Concur'95, pages 103-116. Springer-Verlag LNCS 962, 1995.
5. R. Milner. Communication and Concurrency. C. A. R. Hoare Series Editor - Prentice-Hall Int., 1989.
6. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, i e ii. Information and Computation, 100: 1-77, 1992.
7. O. Nierstrasz. Regular types for active objects. In O. Nierstrasz and D. Tsichritzis, editors, Object-Oriented Software Composition, pages 99-121. Prentice Hall, 1995.
8. F. Puntigam. Types for a active objects based on trace semantics. In FMOODS'96, 1996.
9. A. Ravara and V. Vasconcelos. Behavioural types for a calculus of concurrent objects. Technical report DM-IST 6/97, Department of Mathematics, Institute Superior Técnico, 1096 Lisboa, Portugal, 1997. Available from ftp://ftp.cs.math.ist.utl.pt/pub/RavaraA/97-R-BEVTYP.ps.gz.
10. V. Vasconcelos and K. Honda. Principal typing-schemes in a polyadic n-calculus. In Concur'93, pages 524-538. Springer-Verlag LNCS 715, 1993.
11. V. Vasconcelos and M. Tokoro. A typing system for a calculus of objects. In 1st ISOTAS, pages 460-474. Springer-Verlag LNCS 742, 1993.
12. N. Yoshida. Graph types for monadic mobile processes. In 16th FST/TCS, pages 371-386. Springer-Verlag LNCS 1180, 1996.