Process algebra with action dependencies

DOI10.1007/S002360100070MaRDI QIDQ1608931zbMATH OpenOpenAlexFDO

Authors Arend Rensink, Heike Wehrheim

Publication date 14 August 2002

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002360100070, https://ris.utwente.nl/ws/files/209743550/Rensink2001process.pdf

zbMATH Keywords

Mazurkiewicz dependenciesprocess algebra

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Process Algebra
• scientific article; zbMATH DE number 108007
• Process algebra with combinators
• Process algebra and conditional composition
• Process algebra with recursive operations
• Towards action-refinement in process algebras
• scientific article; zbMATH DE number 4180788
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 782044

Cited in

(4)

• Dependency-based action refinement
• Branching Pomsets for Choreographies
• Branching pomsets: design, expressiveness and applications to choreographies
• A predicate transformer for choreographies. Computing preconditions in choreographic programming

This page was built for publication: Process algebra with action dependencies

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