New Bisimulation Semantics for Distributed Systems.

David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodrguez

Browse the full FORTE paper archive.