A bulk-synchronous parallel process algebra

DOI10.1016/j.cl.2006.11.001zbMath1112.68105OpenAlexW2086573749MaRDI QIDQ875955

Gaétan Hains, Armelle Merlin

Publication date: 16 April 2007

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cl.2006.11.001

zbMATH Keywords

path algebrasparallel programmingprocess algebrasBSP modelperformance modelcalculus of communicating systemsbulk-synchronous parallelism

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Enumerated BSP Automata

Uses Software

• BSPlib
• MPI
• BSPedupack

Cites Work

• A complete axiomatization of timed bisimulation for a class of timed regular behaviours
• A calculus of mobile processes. I
• A calculus of functional BSP programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A bulk-synchronous parallel process algebra