New bisimulation semantics for distributed systems (0)

by David de Frutos-Escrig, Fernando Rosa Velardo, Carlos Gregorio-Rodrı́guez
Venue:Formal Techniques for Networked and Distributed Systems — FORTE 2007, 27th IFIP WG 6.1 International Conference