Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

Axiomatizing weak simulation semantics over BCCSP

Simple item page
dc.contributor.authorAceto, Luca
dc.contributor.authorFrutos Escrig, David De
dc.contributor.authorGregorio Rodríguez, Carlos
dc.date.accessioned2023-06-19T13:25:23Z
dc.date.available2023-06-19T13:25:23Z
dc.date.issued2014-06-05
dc.description.abstractThis 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.en
dc.description.departmentSección Deptal. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Ciencias Matemáticas
dc.description.refereedTRUE
dc.description.sponsorshipComunidad de Madrid
dc.description.sponsorshipMinisterio de Ciencia, Innovación y Universidades (España)
dc.description.sponsorshipMinisterio de Educación, Formación Profesional y Deportes (España)
dc.description.sponsorshipIcelandic Fund for Research
dc.description.sponsorshipNILS Mobility Project
dc.description.sponsorshipIMT Lucca Institute for Advanced Studies (Italy)
dc.description.statuspub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/26667
dc.identifier.citationAceto, 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.
dc.identifier.doi10.1016/j.tcs.2013.03.013
dc.identifier.issn0304-3975
dc.identifier.officialurlhttps//doi.org/10.1016/j.tcs.2013.03.013
dc.identifier.relatedurlhttp://www.researchgate.net/publication/220933255_Axiomatizing_Weak_Ready_Simulation_Semantics_over_BCCSP/file/79e41509c05ea33919.pdf
dc.identifier.relatedurlhttp://www.sciencedirect.com/science/article/pii/S0304397513002144
dc.identifier.urihttps://hdl.handle.net/20.500.14352/33637
dc.journal.titleTheoretical computer science
dc.language.isoeng
dc.page.final71
dc.page.initial42
dc.publisherElsevier
dc.relation.projectIDPROMETIDOS-CM (S2009/TIC-1465)
dc.relation.projectIDDESAFIOS10 (TIN2009-14599-C03-01)
dc.relation.projectIDTESIS (TIN2009-14312-C02-01)
dc.relation.projectID(080039021)
dc.relation.projectID(100014021)
dc.rights.accessRightsopen access
dc.subject.cdu004
dc.subject.keywordProcess algebra
dc.subject.keywordSimulation semantics
dc.subject.keywordComplete simulation semantics
dc.subject.keywordReady simulation semantics
dc.subject.keywordEquational logic
dc.subject.keywordEquational axiomatizations
dc.subject.keywordNon-finitely based algebras
dc.subject.ucmInformática (Informática)
dc.subject.unesco1203.17 Informática
dc.titleAxiomatizing weak simulation semantics over BCCSPen
dc.typejournal article
dc.volume.number537
dspace.entity.typePublication
relation.isAuthorOfPublicationfc861853-ad02-4152-b8b0-e0a8df6080dc
relation.isAuthorOfPublication05a01c46-aac8-42b2-a6bc-4b95860cf5bf
relation.isAuthorOfPublication.latestForDiscovery05a01c46-aac8-42b2-a6bc-4b95860cf5bf

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
DeFrutos150libre.pdf
Size:
330.2 KB
Format:
Adobe Portable Document Format
downoload Download

Collections

Artículos