RT Book, Section
T1 Axiomatizing Weak Ready Simulation Semantics over BCCSP
A1 Aceto, Luca
A1 Frutos Escrig, David de
A1 Gregorio Rodríguez, Carlos
A1 Ingolfsdottir, Anna
A2 Cerone, Antonio
A2 Pihlajasaari, Pekka
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 definition by Bloom, Istrail and Meyer in 1995, several authors have proposed generalizations of ready simulation to deal with internal actions. However, a thorough study of the (non-)existence of finite (in)equational bases for weak ready simulation semantics is still missing in the literature. This paper presents a complete account of positive and negative results on the axiomatizability of weak ready simulation semantics over the language BCCSP. In addition, this study offers a thorough analysis of the axiomatizability properties of weak simulation semantics.
PB Springer
SN 978-3-642-23282-4
YR 2011
FD 2011
LK https://hdl.handle.net/20.500.14352/45416
UL https://hdl.handle.net/20.500.14352/45416
LA eng
NO Comunidad de Madrid
NO Ministerio de Ciencia e Innovación (MICINN)
NO Ministerio de Educación
NO Universidad Complutense de Madrid (UCM)
NO Icelandic Research Fund
DS Docta Complutense
RD 29 abr 2024