TY  - CHAP
AU  - Aceto, Luca
AU  - Gregorio Rodríguez, Carlos
AU  - Ingolfsdottir, Anna
AU  - Frutos Escrig, David De
A4  - Cerone, Antonio
A4  - Pihlajasaari, Pekka
PY  - 2011
DO  - 10.1007/978-3-642-23283-1_4
SN  - 978-3-642-23282-4
UR  - https://hdl.handle.net/20.500.14352/45416
AB  - Ready simulation has proven to be one of the most significant semantics in process theory. It is at the heart of a number of general results that pave the way to a comprehensive understanding of the spectrum of process semantics. Since its original...
LA  - eng
M2  - 7
PB  - Springer
TI  - Axiomatizing Weak Ready Simulation Semantics over BCCSP
TY  - book part
ER  -