Process algebra with action dependencies

DOI10.1007/s002360100070zbMath1023.68067OpenAlexW2171592977MaRDI QIDQ1608931

Heike Wehrheim, Arend Rensink

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

zbMATH Keywords

process algebraMazurkiewicz dependencies

Mathematics Subject Classification ID

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

Related Items (3)

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