scientific article
From MaRDI portal
Publication:3018961
zbMath1236.68193MaRDI QIDQ3018961
Maciej Koutny, Ryszard Janicki, H. C. M. Kleijn
Publication date: 27 July 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Related Items (4)
Folded Hasse diagrams of combined traces ⋮ The Mutex Paradigm of Concurrency ⋮ Interval semantics for Petri nets with inhibitor arcs ⋮ Modeling concurrency with interval traces
This page was built for publication:
