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
 

Trace simulation semantics is not finitely based over BCCSP

Simple item page
dc.contributor.authorAceto, Luca
dc.contributor.authorFrutos Escrig, David De
dc.contributor.authorIngolfsdottir, Anna
dc.date.accessioned2023-06-17T21:59:52Z
dc.date.available2023-06-17T21:59:52Z
dc.date.issued2017
dc.description.abstractThis note shows that the trace simulation preorder does not have a finite inequational basis over the language BCCSP. Indeed, no collection of sound inequations of bounded depth is ground-complete with respect to the trace simulation preorder over BCCSP even over a singleton set of actions.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.statuspub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/43810
dc.identifier.citationAceto, L, Frutos Escrig, D. & Ingolfsdottir, A. «Trace Simulation Semantics Is Not Finitely Based over BCCSP». Acta Cybernetica, vol. 23, n.o 1, 2017, pp. 81-90. DOI.org (Crossref), https://doi.org/10.14232/actacyb.23.1.2017.6.
dc.identifier.doi10.14232/actacyb.23.1.2017.6
dc.identifier.issn0324721X
dc.identifier.officialurlhttps//doi.org/10.14232/actacyb.23.1.2017.6
dc.identifier.relatedurlhttps://www.inf.u-szeged.hu/actacybernetica/edb/vol23n1/actacyb_23_1_2017_6.xml
dc.identifier.urihttps://hdl.handle.net/20.500.14352/17910
dc.issue.number1
dc.journal.titleActa Cybernetica
dc.language.isoeng
dc.page.final90
dc.page.initial81
dc.publisherUniversity of Szeged
dc.rights.accessRightsrestricted access
dc.subject.cdu519.216
dc.subject.keywordTrace simulation preorder
dc.subject.keywordComplete axiomatizations
dc.subject.keywordBCCSP
dc.subject.ucmProcesos estocásticos
dc.subject.unesco1208.08 Procesos Estocásticos
dc.titleTrace simulation semantics is not finitely based over BCCSPen
dc.typejournal article
dc.volume.number23
dspace.entity.typePublication
relation.isAuthorOfPublicationfc861853-ad02-4152-b8b0-e0a8df6080dc
relation.isAuthorOfPublication.latestForDiscoveryfc861853-ad02-4152-b8b0-e0a8df6080dc

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Frutos52.pdf
Size:
311.27 KB
Format:
Adobe Portable Document Format
Download

Collections

Artículos