scientific article
From MaRDI portal
Publication:3776606
zbMath0636.68024MaRDI QIDQ3776606
Robert J. van Glabbeek, Jos C. M. Baeten
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)
Related Items (12)
Process algebra with guards: Combining hoare logic with process algebra ⋮ Termination, deadlock and divergence ⋮ Duplication of constants in process algebra ⋮ SOS formats and meta-theory: 20 years after ⋮ A process calculus with finitary comprehended terms ⋮ The algebra of communicating processes with empty process ⋮ Revisiting sequential composition in process calculi ⋮ Deadlock checking by a behavioral effect system for lock handling ⋮ Structured operational semantics and bisimulation as a congruence ⋮ An algebra for process creation ⋮ Decomposition orders -- another generalisation of the fundamental theorem of arithmetic ⋮ Modular specification of process algebras
This page was built for publication:
