MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  A coordination language for mobile components (2000) [19 citations — 16 self]

Download:
pdf | ps
by F. Arbab, M. M. Bonsangue, F. S. De Boer, Issn -x, Farhad Arbab, Marcello M. Bonsangue, Frank S. De Boer
in: Proc. ACM SAC-00
http://www.cwi.nl/ftp/CWIreports/SEN/SEN-R9925.ps.Z
Add To MetaCart

Abstract:

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of

Citations

865 ACTORS, a model of concurrent computation in distributed systems – Agha - 1986
607 A Calculus for Cryptographic Protocols: The Spi Calculus – Abadi, Gordon - 1999
81 Operational semantics of a parallel object-oriented language – America, Bakker, et al. - 1986
33 Reusable Coordinator Modules for Massively Concurrent Applications – Arbab, Blom, et al. - 1996
18 A transition system semantics for the control-driven coordination language MANIFOLD – Bonsangue, Arbab, et al. - 2000
15 A software architecture for distributed control systems and its transition system semantics – Bonsangue, Kok, et al. - 1998
13 A Transition System Semantics for the Control-Driven Coordination Language – Bonsangue, Arbab, et al. - 2000
6 Reasoning about asynchronous communication in dynamically evolving object structures – Boer - 2000
3 version 2: Language reference manual – Manifold - 1996
2 Secure object spaces: A coordination model for agents – Bryce, Oriol, et al. - 1999
1 Piccola - a small composition language. Available on line at the URL: http://www.iam.unibe.ch/~scg/Research/Piccola – Achermann, Lumpe, et al.