scientific article
From MaRDI portal
Publication:3745290
zbMath0606.68054MaRDI QIDQ3745290
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items
Sequential and concurrent behaviour in Petri net theory ⋮ On the Analysis of Petri Nets and their Synthesis from Process Languages
