Axiomatizing Weak Ready Simulation Semantics over BCCSP
| dc.book.title | Theoretical Aspects of Computing – ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings | |
| dc.contributor.author | Aceto, Luca | |
| dc.contributor.author | Gregorio Rodríguez, Carlos | |
| dc.contributor.author | Ingolfsdottir, Anna | |
| dc.contributor.author | Frutos Escrig, David De | |
| dc.contributor.editor | Cerone, Antonio | |
| dc.contributor.editor | Pihlajasaari, Pekka | |
| dc.date.accessioned | 2023-06-20T05:45:00Z | |
| dc.date.available | 2023-06-20T05:45:00Z | |
| dc.date.issued | 2011 | |
| dc.description.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. | en |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.faculty | Instituto de Matemática Interdisciplinar (IMI) | |
| dc.description.refereed | TRUE | |
| dc.description.sponsorship | Comunidad de Madrid | |
| dc.description.sponsorship | Ministerio de Ciencia, Innovación y Universidades (España) | |
| dc.description.sponsorship | Ministerio de Educación, Formación Profesional y Deportes (España) | |
| dc.description.sponsorship | Universidad Complutense de Madrid | |
| dc.description.sponsorship | Icelandic Research Fund | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/20623 | |
| dc.identifier.doi | 10.1007/978-3-642-23283-1_4 | |
| dc.identifier.isbn | 978-3-642-23282-4 | |
| dc.identifier.officialurl | https//doi.org/10.1007/978-3-642-23283-1_4 | |
| dc.identifier.relatedurl | http://link.springer.com/content/pdf/10.1007%2F978-3-642-23283-1_4 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/45416 | |
| dc.issue.number | 6916 | |
| dc.language.iso | eng | |
| dc.page.final | 24 | |
| dc.page.initial | 7 | |
| dc.publisher | Springer | |
| dc.relation.ispartofseries | Lecture notes in computer science | |
| dc.relation.projectID | PROMETIDOS-CM (S2009/TIC-1465) | |
| dc.relation.projectID | DESAFIOS10 (TIN2009-14599-C03-01) | |
| dc.relation.projectID | TESIS (TIN2009-14312-C02-01) | |
| dc.relation.projectID | NILS Mobility Project | |
| dc.relation.projectID | Project ‘New Developments in Operational Semantics’ (080039021) | |
| dc.relation.projectID | Project ‘Meta-theory of Algebraic Process Theories’ (100014021) | |
| dc.rights.accessRights | restricted access | |
| dc.subject.cdu | 004 | |
| dc.subject.ucm | Informática (Informática) | |
| dc.subject.unesco | 1203.17 Informática | |
| dc.title | Axiomatizing Weak Ready Simulation Semantics over BCCSP | en |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 05a01c46-aac8-42b2-a6bc-4b95860cf5bf | |
| relation.isAuthorOfPublication | fc861853-ad02-4152-b8b0-e0a8df6080dc | |
| relation.isAuthorOfPublication.latestForDiscovery | 05a01c46-aac8-42b2-a6bc-4b95860cf5bf |
Download
Original bundle
1 - 1 of 1