Publication:3738569
From MaRDI portal
zbMath0602.68046MaRDI QIDQ3738569
Publication date: 1985
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N25: Theory of operating systems
Related Items
Unnamed Item, Failures semantics based on interval semiwords is a congruence for refinement, A theory of implementation and refinement in timed Petri nets, Petri net reactive modules