scientific article; zbMATH DE number 919840

zbMATH Open0854.68031MaRDI QIDQ4890705FDOQ4890705

Authors: J. A. Bergstra, Gh. Ştefănescu 

Publication date: 25 August 1996

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

Recommendations

• Processes with multiple entries and exits
• scientific article; zbMATH DE number 3978362
• Algebra of communicating processes with abstraction
• scientific article; zbMATH DE number 1735902
• An algebra of concurrent non-deterministic processes

zbMATH Keywords

algebra of communicating processesalgebra of flownomials

Mathematics Subject Classification ID

Cited In (3)

• The equational logic of fixed points
• Bisimulation is two-way simulation
• Processes with multiple entries and exits

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 Q4890705)