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.
|