Abstract
We present a new type system for TyCO, a name-passing calculus of concurrent objects. The system captures dynamic aspects of objects' behaviours, namely non-uniform service availability of active objects. The notion of processes without errors is loosened, demanding only weak fairness in the treatment of messages.
This work was partially supported by JNICT PRAXIS XXI projects 2/2.1/MAT/46/94 Escola, 2/2.1/MAT/262/94 SitCalc and 2/2.1/TIT/1658/95 Log-Comp, and by the ESPRIT Working Groups 22704 ASPIRE and 23531 FIREworks.
Chapter PDF
References
G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. M.I.T. Press, 1986.
K. Honda and M. Tokoro. An object calculus for asynchronous communication. In ECOOP'91, pages 141–162. Springer-Verlag LNCS 512, 1991.
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.
X. Liu and D. Walker. A polymorphic type system for the polyadic π-calculus. In Concur'95, pages 103–116. Springer-Verlag LNCS 962, 1995.
R. Milner. Communication and Concurrency. C. A. R. Hoare Series Editor — Prentice-Hall Int., 1989.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, i e ii. Information and Computation, 100:1–77, 1992.
O. Nierstrasz. Regular types for active objects. In O. Nierstrasz and D. Tsichritzis, editors, Object-Oriented Software Composition, pages 99–121. Prentice Hall, 1995.
F. Puntigam. Types for a active objects based on trace semantics. In FMOODS'96, 1996.
A. Ravara and V. Vasconcelos. Behavioural types for a calculus of concurrent objects. Technical report DM-IST 6/97, Department of Mathematics, Instituto Superior Técnico, 1096 Lisboa, Portugal, 1997. Available from ftp://ftp.cs.math.ist.utl.pt/pub/RavaraA/97-R-BEVTYP.ps.gz.
V. Vasconcelos and K. Honda. Principal typing-schemes in a polyadic π-calculus. In Concur'93, pages 524–538. Springer-Verlag LNCS 715, 1993.
V. Vasconcelos and M. Tokoro. A typing system for a calculus of objects. In 1st ISOTAS, pages 460–474. Springer-Verlag LNCS 742, 1993.
N. Yoshida. Graph types for monadic mobile processes. In 16th FST/TCS, pages 371–386. Springer-Verlag LNCS 1180, 1996. *** DIRECT SUPPORT *** A0008C42 00019
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ravara, A., Vasconcelos, V. (1997). Behavioural types for a calculus of concurrent objects. In: Lengauer, C., Griebl, M., Gorlatch, S. (eds) Euro-Par'97 Parallel Processing. Euro-Par 1997. Lecture Notes in Computer Science, vol 1300. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0002782
Download citation
DOI: https://doi.org/10.1007/BFb0002782
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63440-9
Online ISBN: 978-3-540-69549-3
eBook Packages: Springer Book Archive