scientific article
From MaRDI portal
Publication:3785958
zbMath0643.68075MaRDI QIDQ3785958
Publication date: 1987
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 software (68N99)
Related Items
A theory of implementation and refinement in timed Petri nets ⋮ Functional equivalences of Petri nets ⋮ Modal Open Petri Nets ⋮ Petri net reactive modules ⋮ Asynchronous communication of Petri Nets and the refinement of transitions ⋮ Zero-safe nets: Comparing the collective and individual token approaches. ⋮ Elementary transition systems and refinement