scientific article; zbMATH DE number 4119656
From MaRDI portal
Publication:4733431
zbMath0683.68070MaRDI QIDQ4733431
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
CSPCCSstrong bisimilarityCOSYtransition netslabelled placeoperational and compositional Petri net semantics
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items (4)
Program composition via unification ⋮ Correctness of concurrent processes ⋮ Petri nets and bisimulation ⋮ Operational and denotational semantics for the box algebra
This page was built for publication:
