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

DOI10.1016/S0304-3975(99)00226-1MaRDI QIDQ1575145zbMATH OpenFDO

Authors J. W. de Bakker, A. Scutellà, Marcello M. Bonsangue, Farhad Arbab, Jan J. M. M. Rutten

Publication date 21 August 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(99)00226-1

zbMATH Keywords

coordination languagesmodels of communicationoperational semanticsparallel computingtransition system semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Distributed and parallel systems engineering in MANIFOLD
• scientific article; zbMATH DE number 845589
• scientific article; zbMATH DE number 220695
• Coordination languages for parallel programming

Cites work

• A layered semantics for a parallel object-oriented language
• A process algebraic view of Linda coordination primitives
• Coordination languages for parallel programming
• Generative communication in Linda
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• Interactive foundations of computing
• Using coordination to parallelize sparse-grid methods for 3-D CFD problems

Cited in

(9)

• Coordination languages for parallel programming
• Distributed and parallel systems engineering in MANIFOLD
• MANIFOLD
• Continuation-based transformations for coordination languages
• A coordination approach to mobile components
• Erratic Fudgets: A semantic theory for an embedded coordination language
• scientific article; zbMATH DE number 557977 (Why is no real title available?)
• scientific article; zbMATH DE number 220695 (Why is no real title available?)
• scientific article; zbMATH DE number 845589 (Why is no real title available?)

Describes a project that uses

Uses Software

• Linda

This page was built for publication: A transition system semantics for the control-driven coordination language MANIFOLD

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1575145)