Coordination languages for parallel programming

DOI10.1016/S0167-8191(98)00039-8MaRDI QIDQ1275039zbMATH OpenWikidataFDO

Authors Farhad Arbab, Paolo Ciancarini, Chris Hankin

Publication date 12 January 1999

Published in Parallel Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0167-8191(98)00039-8

zbMATH Keywords

coordination languagesgammaLindamanifoldnodels of communicationoverviewparallel programmingphilosophers problem

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• A transition system semantics for the control-driven coordination language MANIFOLD
• A process algebraic view of shared dataspace coordination
• scientific article; zbMATH DE number 845589
• scientific article; zbMATH DE number 1830942

Cited in

(19)

• Generative coordination environments supporting parallel discrete event simulation
• Distributed and parallel systems engineering in MANIFOLD
• Software architectures and coordination models
• A transition system semantics for the control-driven coordination language MANIFOLD
• Continuation-based transformations for coordination languages
• A process algebraic view of shared dataspace coordination
• scientific article; zbMATH DE number 220695 (Why is no real title available?)
• scientific article; zbMATH DE number 2087396 (Why is no real title available?)
• scientific article; zbMATH DE number 1830942 (Why is no real title available?)
• scientific article; zbMATH DE number 1859736 (Why is no real title available?)
• scientific article; zbMATH DE number 845589 (Why is no real title available?)
• scientific article; zbMATH DE number 1402140 (Why is no real title available?)
• scientific article; zbMATH DE number 1406167 (Why is no real title available?)
• The ARC programming model -- language constructs for coordination
• Coordination Models and Languages
• Formal Methods for Components and Objects
• An autonomous data language
• The autonomous data language -- concepts, design and formal verification
• A border-based coordination language for integrating task and data parallelism

This page was built for publication: Coordination languages for parallel programming

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