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

DOI10.1016/S0304-3975(99)00226-1zbMath0954.68107MaRDI QIDQ1575145

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

Publication date: 21 August 2000

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

zbMATH Keywords

operational semanticsparallel computingcoordination languagesmodels of communicationtransition system semantics

Mathematics Subject Classification ID

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

Related Items (2)

A coordination approach to mobile components ⋮ MANIFOLD

Uses Software

• Linda

Cites Work

• Unnamed Item
• A process algebraic view of Linda coordination primitives
• Interactive foundations of computing
• A layered semantics for a parallel object-oriented language
• Coordination languages for parallel programming
• Using coordination to parallelize sparse-grid methods for 3-D CFD problems
• Generative communication in Linda

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