scientific article; zbMATH DE number 1759618

zbMATH Open0999.68528MaRDI QIDQ4536609FDOQ4536609

Authors: Arend Rensink 

Publication date: 25 June 2002

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

Recommendations

• Bisimulation and action refinement
• Publication:4734781
• scientific article; zbMATH DE number 590996
• scientific article; zbMATH DE number 17804
• Concurrency and atomicity

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• Coupled similarity: the first 32 years
• Atomic actions, and their refinements to isolated protocols

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