Coordination of mobile components

Electronic Notes in Theoretical Computer Science

Volumn 54, Issue , 2001, Pages 1-16

  Arbab, F ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER PROGRAMMING LANGUAGES; ENCAPSULATION; MOBILE COMPUTING; TELECOMMUNICATION LINKS; TELECOMMUNICATION NETWORKS; TOPOLOGY;

COMPONENT BASED SOFTWARE ENGINEERING; CONNECTORS; DYNAMIC TOPOLOGIES; MOBILE COMPONENTS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 18944390880     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00231-2     Document Type: Conference Paper

References (8)

1. F. Arbab. The IWIM model for coordination of concurrent activities. In Paolo Ciancarini and Chris Hankin, editors, Coordination Languages and Models, volume 1061 of Lecture Notes in Computer Science, pages 34-56. Springer-Verlag, April 1996.
2. F. Arbab, F.S. de Boer, and M.M. Bonsangue. A coordination language for mobile components. In Proc. ACM SAC'00, 2000.
3. Farhad Arbab, F. S. de Boer, and M. M. Bonsangue. A logical interface description language for components. In Antonio Porto and Gruia-Catalin Roman, editors, Coordination Languages and Models: Proc. Coordination 2000, volume 1906 of Lecture Notes in Computer Science, pages 249-266. Springer-Verlag, September 2000.
4. Bonsangue M.M., Arbab F., de Bakker J.W.J., Rutten J.M.M., Scutellá A., Zavattaro G. A transition system semantics for the control-driven coordination language manifold. Theoretical Computer Science. 240:2000;3-47
5. M. Broy. Equations for describing dynamic nets of communicating systems. In Proc. 5th COMPASS workshop, volume 906 of Lecture Notes in Computer Science, pages 170-187. Springer-Verlag, 1995.
6. F. S. de Boer and M. M. Bonsangue. A compositional model for confluent dynamic data-flow networks. In M. Nielsen and B. Rovan, editors, Proc. International Symposium of the Mathematical Foundations of Computer Science, (MFCS), volume 1893 of Lecture Notes in Computer Science, pages 212-221. Springer-Verlag, August-September 2000.
7. R. Grosu and K. Stoelen. A model for mobile point-to-point data-flow networks without channel sharing. Lecture Notes in Computer Science, 1101:504-??, 1996.
8. Juan Guillen Scholten. Mocha: A model for distributed Mobile Channels. Master's thesis, Leiden University, May 2001.