Publication:3313266
From MaRDI portal
zbMath0531.68015MaRDI QIDQ3313266
Publication date: 1983
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Symmetric and Asymmetric Asynchronous Interaction, Kleene Theorems for Product Systems, Fairness and conspiracies, On conditions for the liveness of weakly persistent nets, On Synchronous and Asynchronous Interaction in Distributed Systems