Publication:4518901
From MaRDI portal
zbMath0960.68121MaRDI QIDQ4518901
Thomas A. Henzinger, Sriram K. Rajamani
Publication date: 20 May 2001
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Fair simulation, Bridging the gap between fair simulation and trace inclusion, Safe Reasoning with Logic LTS