¡Nos trasladamos! E-Prints cerrará el 7 de junio.

En las próximas semanas vamos a migrar nuestro repositorio a una nueva plataforma con muchas funcionalidades nuevas. En esta migración las fechas clave del proceso son las siguientes:

7 de junio: congelación de E-Prints. A partir de este momento, no se podrá hacer ningún depósito ni cambio, modificación o edición.
12 al 30 de junio: migración de E-Prints a Docta Complutense, comprobación y visto bueno de la migración
3 de julio: entrada en producción de Docta Complutense

Es muy importante que cualquier depósito se realice en E-Prints Complutense antes del 7 de junio. En caso de urgencia para realizar un depósito, se puede comunicar a docta@ucm.es.

Spanish | Contactar

Axiomatizing Weak Ready Simulation Semantics over BCCSP

Impacto

Downloads

Downloads per month over past year

View download statistics for this eprint

Altmetric

Buscar en Google Scholar™

Aceto, Luca and Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Ingolfsdottir, Anna (2011) Axiomatizing Weak Ready Simulation Semantics over BCCSP. In Theoretical Aspects of Computing – ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Lecture notes in computer science (6916). Springer, pp. 7-24. ISBN 978-3-642-23282-4

PDF
Restringido a Repository staff only
299kB

Official URL: http://link.springer.com/content/pdf/10.1007%2F978-3-642-23283-1_4

Publisher

==>>> Export to other formats

Abstract

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.

Item Type:	Book Section
Subjects:	Sciences > Computer science
ID Code:	20623
Deposited On:	02 Apr 2013 11:44
Last Modified:	02 Aug 2018 07:39

Origin of downloads

Repository Staff Only: item control page