M.M. Bonsangue, F. Arbab, J.W. de Bakker J.J.M.M. Rutten, A. Scutellà, G. Zavattaro  Home/Search
Context Related
| cwi.nl/~marcello/Papers...manifold.ps.Z cs.unibo.it/~zavattar/...manifold.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cwi.nl/~marcello/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Coordination languages are a new class of parallel programming languages which manage the interactions among concurrent programs. Basically, coordination is achieved either by manipulating data values shared among all active processes or by dynamically evolving the interconnections among the processes as a consequence of observations of their state changes. The latter, also called control-driven coordination, is supported by MANIFOLD. We present the formal semantics of a kernel of MANIFOLD,... (Update)
Context of citations to this paper: More
...for primitive coordination. IWIM [1, 13] is an example of a more elaborate coordination model based on channels, and Manifold [2, 8] is an incarnation of IWIM as a real coordination programming language that supports dynamic reconfiguration of Kahn network topologies. A...
.... about the programs and their interaction relatively straightforward, a goal also underlying motivating the operational semantics of [5] for Manifold. The paper has the following structure. After Section 1, Section 2 presents Paradigm based on STDs, and introduces the various...
Cited by: More
A Multiply Hierarchical Automaton Semantics - For The Iwim (Correct)
Electronic Notes in Theoretical Computer Science 66 No. 4 (2002) - Url Http Www (Correct)
Operational Semantics for Coordination in Paradigm - Groenewegen, de Vink (2002) (Correct)
Similar documents (at the sentence level):
60.4%: A Transition System Semantics for the.. - Bonsangue, Arbab, .. (1998) (Correct)
Active bibliography (related documents): More All
1.0: Reusable Coordinator Modules for Massively Concurrent.. - Arbab, Blom, Burger.. (1998) (Correct)
0.5: Coordination of Heterogeneous Distributed Cooperative.. - Arbab, Monfroy (1998) (Correct)
0.4: A Coordination Language for Mobile Components - Arbab, Bonsangue, de Boer (2000) (Correct)
Similar documents based on text: More All
0.2: De Bakker-Zucker Processes Revisited - van Breugel (1999) (Correct)
0.2: An Algebra of Actors - Gaspari, Zavattaro (1997) (Correct)
0.2: Modeling Component Connectors in Reo by Constraint Automata - Arbab, Baier, Rutten.. (2003) (Correct)
Related documents from co-citation: More All
8: A Process Algebraic View of Linda Coordination Primitives - Busi, Gorrieri et al. - 1998
7: Coordination models and languages - Papadopoulos, Arbab - 1998
7: Linda in Context (context) - Carriero, Gelernter - 1989
BibTeX entry: (Update)
M.M. Bonsangue, F. Arbab, J.W. de Bakker, J.J.M.M. Rutten, A. Scutell'a, and G. Zavattaro. A transition system semantics for the control-driven coordination language MANIFOLD. Technical Report, CWI, Amsterdam, 1998. http://citeseer.ist.psu.edu/article/bonsangue99transition.html More
@article{ bonsangue00transition,
author = "M. M. Bonsangue and F. Arbab and J. W. de Bakker and J. J. M. M. Rutten and A. Scutell{\`a} and G. Zavattaro",
title = "A transition system semantics for the control-driven coordination language {MANIFOLD}",
journal = "Theoretical Computer Science",
volume = "240",
number = "1",
pages = "3--47",
year = "2000",
url = "citeseer.ist.psu.edu/article/bonsangue99transition.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
375 ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
132 Strand: New Concepts in Parallel Programming (context) - Foster, Taylor - 1990
92 Concurrent program schemes and their interpretations (context) - Mazurkiewicz - 1977
68 The IWIM model for coordination of concurrent activities - Arbab
47 Concurrency: Practice and Experience (context) - Arbab, Herman et al. - 1993
43 Interaction Abstract Machines - Andreoli, Ciancarini et al. - 1993
39 Configuration programming -- a framework for the development.. - Kramer - 1990
36 A process algebraic view of Linda coordination primitives - Busi, Gorrieri et al. - 1998
32 A calculus of Gamma programs (context) - Hankin, Le M'etayer et al. - 1996
30 Coordination of massively concurrent activities - Arbab - 1995
28 Checking assumption in component dynamics at the architectur.. - Inverardi, Wolf et al.
28 Reusable coordinator modules for massively concurrent applic.. - Arbab, Blom et al. - 1998
22 Coordination Languages and Models (context) - Ciancarini, Hankin - 1996
22 Centrum voor Wiskunde en Informatica (context) - Rutten, of et al. - 1996
20 the operational semantics of a coordination language (context) - Ciancarini, Jensen et al. - 1995
19 A layered semantics for a parallel objectoriented language (context) - America, Rutten - 1992
17 Manifold version 2: Language reference manual (context) - Arbab - 1996
17 Future Generation Computer Systems (context) - Jacquet, De Bosschere et al. - 1994
16 Visifold: A visual environment for a coordination language (context) - Bouvry, Arbab
15 A software architecture for distributed control systems and .. - Bonsangue, Kok et al. - 1998
14 A process algebra based on Linda (context) - De Nicola, Pugliese
14 Comparing coordination models based on shared distributed re.. - Bonsangue, Kok et al. - 1999
13 Restructuring sequential Fortran code into a parallel/distri.. - Everaars, Arbab et al. - 1996
13 Using coordination to parallelize sparse-grid methods for 3D.. - Everaars, Koren - 1998
11 Three semantics of the output operation for generative commu.. - Busi, Gorrieri et al.
11 Formal specification of Manifold: a preliminary study (context) - Rutten, Arbab et al. - 1992
10 Coordination Languages and Models (context) - Garlan, Le M'etayer - 1997
10 An alternative semantics for the parallel operator of the ca.. - Ciancarini, Gorrieri et al. - 1996
9 Parallel and distributed evolutionary computation with Manif.. - Seredynski, Bouvry et al. - 1997
9 Control-based coordination of human and other activities in .. - Papadopoulos, Arbab
8 Bulletin of the Dutch Association for Theoretical Computer S.. (context) - Arbab, you et al. - 1998
7 Using coordination for cooperative constraint solving - Arbab, Monfroy - 1998
6 Modelling activities in information systems using the coordi.. - Papadopoulos, Arbab - 1998
6 An observational semantics for Linda (context) - De Nicola, Pugliese - 1995
5 parallel multiplegrid domain decomposition (context) - Everaars, Arbab et al. - 1996
5 A behavioral semantics for Linda (context) - Butcher - 1991
4 on Coordination Languages for Parallel Programming - Arbab, Ciancarini et al. - 1998
4 A component calculus for modelling the Olan configuration la.. (context) - Dury, Bellissard et al.
3 Available on-line at http://www (context) - Jacobs, Rutten et al. - 1997
1 Coordination of a Parallel Proposition Solver - Everaars, Lisser - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cwi.nl/~marcello/publications.html): More
Relating Multifunctions and Predicate Transformers through.. - Bonsangue, Kok (1994) (Correct)
Semantics, Orderings and Recursion in the Weakest.. - Bonsangue, Kok (Correct)
Isomorphisms between Predicate and State Transformers - Bonsangue, Kok (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC