Para depositar en Docta Complutense, identifícate con tu correo @ucm.es en el SSO institucional: Haz clic en el desplegable de INICIO DE SESIÓN situado en la parte superior derecha de la pantalla. Introduce tu correo electrónico y tu contraseña de la UCM y haz clic en el botón MI CUENTA UCM, no autenticación con contraseña.
 

Axiomatizing weak simulation semantics over BCCSP

Loading...
Thumbnail Image

Full text at PDC

Publication date

2014

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Elsevier
Citations
Google Scholar

Citation

Aceto, L., Frutos Escrig, D. & Gregorio Rodríguez, C. «Axiomatizing Weak Simulation Semantics over BCCSP». Theoretical Computer Science, vol. 537, junio de 2014, pp. 42-71. DOI.org (Crossref), https://doi.org/10.1016/j.tcs.2013.03.013.

Abstract

This paper is devoted to the study of the (in)equational theory of the largest (pre)congruences over the language BCCSP induced by variations on the classic simulation preorder and equivalence that abstract from internal steps in process behaviours. In particular, the article focuses on the (pre)congruences associated with the weak simulation, the weak complete simulation and the weak ready simulation preorders. We present results on the (non)existence of finite (ground-)complete (in)equational axiomatizations for each of these behavioural semantics. The axiomatization of those semantics using conditional equations is also discussed in some detail.

Research Projects

Organizational Units

Journal Issue

Description

Unesco subjects

Keywords

Collections