Bisimulation verification using the up to techniques

DOI10.1007/S100090100041zbMath0991.68052OpenAlexW110424133WikidataQ126577090 ScholiaQ126577090MaRDI QIDQ5953448

Daniel Hirschkoff

Publication date: 23 January 2002

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100090100041

zbMATH Keywords

\(\pi\)-calculusbisimulation verification algorithm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts ⋮ Deriving Bisimulation Congruences in the Presence of Negative Application Conditions

Uses Software

• MWB
• Pict

This page was built for publication: Bisimulation verification using the up to techniques