A transition system semantics for the control-driven coordination language MANIFOLD-Reference-Cited by-同舟云学术

A transition system semantics for the control-driven coordination language MANIFOLD

Published:2000-06 Issue:1 Volume:240 Page:3-47
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Bonsangue M.M.,Arbab F.,de Bakker J.W.,Rutten J.J.M.M.,Scutellà A.,Zavattaro G.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference42 articles.

1. A layered semantics for a parallel object-oriented language;America;Formal Aspects Comput.,1992

2. Interaction abstract machines;Andreoli,1993

3. F. Arbab, Coordination of massively concurrent activities, Tech. Rep. CS-R9565, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, 1995. Available on-line at http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.

4. The IWIM model for coordination of concurrent activities;Arbab,1996

5. F. Arbab, Manifold version 2: Language reference manual, Tech. Rep., Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, 1996. Available on-line at http://www.cwi.nl/ftp/manifold/refman.ps.Z.

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Comprehensive Exploration of Languages for Parallel Computing;ACM Computing Surveys;2022-01-18

2. Personal Note: Working with Farhad Arbab 1990–2005;Lecture Notes in Computer Science;2018

3. Extending Paradigm with Data;Lecture Notes in Computer Science;2018

4. Aspect-Oriented Coordination;Electronic Notes in Theoretical Computer Science;2007-07

5. Connector colouring I: Synchronisation and context dependency;Science of Computer Programming;2007-05