scientific article
From MaRDI portal
Publication:3738569
zbMath0602.68046MaRDI QIDQ3738569
Publication date: 1985
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
A theory of implementation and refinement in timed Petri nets ⋮ Petri net reactive modules ⋮ Asynchronous communication of Petri Nets and the refinement of transitions ⋮ Failures semantics based on interval semiwords is a congruence for refinement ⋮ Unnamed Item
This page was built for publication:
