(Bi)simulations up-to characterise process semantics

David de Frutos-Escrig, Carlos Gregorio-Rodríguez. (Bi)simulations up-to characterise process semantics. Inf. Comput., 207(2):146-170, 2009. [doi]

Abstract

Abstract is missing.