Coordination through channel composition

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

Volumn 2315, Issue , 2002, Pages 22-39

  Arbab, Farhad ^a   Mavaddat, Farhad ^b  

^a CWI   (Netherlands)

^b UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

COMPONENT BASED SYSTEMS; COMPONENT INSTANCES; CONCURRENT PROCESS; COORDINATION MODEL; COORDINATION PATTERNS; EXPRESSIVE POWER; REGULAR EXPRESSIONS; THROUGH CHANNEL;

COORDINATION REACTIONS;

EID: 84944041371     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46000-4_6     Document Type: Conference Paper

References (12)

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. Manifold version 2: Language reference manual. Technical report, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, 1996. Available online http://www.cwi.nl/ftp/manifold/refman.ps.Z
3. F. Arbab. A channel-based coordination model for component composition. Technical Report SEN-R0203, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, 2001.
4. F. Arbab, F.S. de Boer, and M.M. Bonsangue. A coordination language for mobile components. In Proc. ACM SAC’00, 2000.
5. Farhad Arbab. Coordination of mobile components. In Ugo Montanari and Vladimiro Sassone, editors, Electronic Notes in Theoretical Computer Science, volume 54. Elsevier Science Publishers, 2001.
6. 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:Pr oc. Coordination 2000, volume 1906 of Lecture Notes in Computer Science, pages 249–266. Springer-Verlag, September 2000.
7. M.M. Bonsangue, F. Arbab, J.W. de Bakker, J.J.M.M. Rutten, A. Scutellá, and G. Zavattaro. A transition system semantics for the control-driven coordination language manifold. Theoretical Computer Science, 240:3–47, 2000.
8. 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.
9. 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.
10. 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.
11. G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld, editor, Information Processing ’74:P roceedings of the IFIP Congress, pages 471–475. North-Holland, New York, NY, 1974.
12. Juan Guillen Scholten. Mocha: A model for distributed Mobile Channels. Master’s thesis, Leiden University, May 2001.