scientific article; zbMATH DE number 4117829

zbMATH Open0682.68024MaRDI QIDQ4732097FDOQ4732097

Authors: Jos C. M. Baeten, Rob van Glabbeek 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4011914
• Algebra of communicating processes with abstraction
• Discrete time process algebra with abstraction
• The algebra of communicating processes with empty process
• scientific article; zbMATH DE number 4056992

zbMATH Keywords

algebra of communicating processes

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• On the consistency of Koomen's fair abstraction rule
• The free process algebra generated by \(\delta \), \(\epsilon\) and \(\tau \)
• A completeness theorem for nondeterministic Kleene algebras
• Vertical implementation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4732097)