Action contraction

DOI10.1007/3-540-44618-4_22MaRDI QIDQ4536609zbMATH OpenFDO

Authors Arend Rensink

Publication date 25 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://research.utwente.nl/en/publications/caa456c5-fa21-42f1-b7b2-dad8d010729d

Mathematics Subject Classification ID

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

Recommendations

• Bisimulation and action refinement
• scientific article; zbMATH DE number 4121471
• scientific article; zbMATH DE number 590996
• scientific article; zbMATH DE number 17804
• Concurrency and atomicity

Cited in

(3)

• Coupled similarity: the first 32 years
• Atomic actions, and their refinements to isolated protocols
• Coupled Similarity and Contrasimilarity, and How to Compute Them

This page was built for publication: Action contraction

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