Publication:
Axiomatizing weak simulation semantics over BCCSP

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.
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 e Innovación (MICINN)
dc.description.sponsorshipMinisterio de Educación
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.doi10.1016/j.tcs.2013.03.013
dc.identifier.issn0304-3975
dc.identifier.officialurlhttp://www.sciencedirect.com/science/article/pii/S0304397513002144
dc.identifier.relatedurlhttp://www.researchgate.net/publication/220933255_Axiomatizing_Weak_Ready_Simulation_Semantics_over_BCCSP/file/79e41509c05ea33919.pdf
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 BCCSP
dc.typejournal article
dc.volume.number537
dspace.entity.typePublication
relation.isAuthorOfPublication05a01c46-aac8-42b2-a6bc-4b95860cf5bf
relation.isAuthorOfPublication.latestForDiscovery05a01c46-aac8-42b2-a6bc-4b95860cf5bf
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
DeFrutos150libre.pdf
Size:
330.2 KB
Format:
Adobe Portable Document Format
Collections