Beyond Bisimulation: The “up-to” Techniques

DOI10.1007/11804192_8zbMath1196.68160OpenAlexW2161003955MaRDI QIDQ3591388

Davide Sangiorgi

Publication date: 11 September 2007

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (3)

Algebra, Coalgebra, and Minimization in Polynomial Differential Equations ⋮ Automata Learning: A Categorical Perspective ⋮ Quantitative simulations by matrices

This page was built for publication: Beyond Bisimulation: The “up-to” Techniques