scientific article; zbMATH DE number 4117829

zbMath0682.68024MaRDI QIDQ4732097

Jos C. M. Baeten, Robert J. van Glabbeek

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebra of communicating processes

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theory of computing (68Q99)

Related Items (4)

On the consistency of Koomen's fair abstraction rule ⋮ A completeness theorem for nondeterministic Kleene algebras ⋮ The free process algebra generated by \(\delta \), \(\epsilon\) and \(\tau \) ⋮ Vertical implementation

This page was built for publication: