Axiomatising divergence

Volver a la Vista simple
dc.conicet.fuenteindividual
dc.conicet.organizacionUniversität Stuttgart
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba
dc.conicet.organizacionUniversidad Nacional de Córdoba
dc.conicet.organizacionUniversiteit Twente (ut)
dc.conicet.organizacionUniversitat Saarland
dc.conicet.organizacionUniversiteit Twente (ut)
dc.conicet.paisOrganizacionAlemania
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacion
dc.conicet.paisOrganizacionAlemania
dc.conicet.paisOrganizacion
dc.conicet.produccionid6288958
dc.contributor.authorLohrey, Markus
dc.contributor.authorD'argenio, Pedro Ruben
dc.contributor.authorHermanns, Holger
dc.date.accessioned2024-08-07T11:05:14Z
dc.date.available2024-08-07T11:05:14Z
dc.date.issued2005-12
dc.date.updated2024-08-06T11:18:37Z
dc.description.abstractWhen a process is capable of executing an unbounded number of non-observable actions it is said to be divergent. Different capabilities of an observer to identify this phenomena along the execution leads to different divergent sensitive semantics. This paper develops sound and complete axiomatisations for the divergence sensitive spectrum of weak bisimulation equivalence. The axiomatisations separates the axioms concerning recursion and those that capture the essence of diverging behaviour.es
dc.description.filFil: Lohrey, Markus. Universität Stuttgart; Alemania
dc.description.filFil: D'argenio, Pedro Ruben. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Universidad Nacional de Córdoba; Argentina. Universiteit Twente (ut);
dc.description.filFil: Hermanns, Holger. Universitat Saarland; Alemania. Universiteit Twente (ut);
dc.formatapplication/pdfes
dc.identifier.citationLohrey, Markus; D'argenio, Pedro Ruben; Hermanns, Holger; Axiomatising divergence; Academic Press Inc Elsevier Science; Information and Computation; 203; 2; 12-2005; 115-144es
dc.identifier.institucionalCONICET
dc.identifier.issn0890-5401es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/241945
dc.journal.number2es
dc.journal.pagination115-144es
dc.journal.paisEstados Unidoses
dc.journal.titleInformation and Computationes
dc.journal.volume203es
dc.language.isoenges
dc.publisherAcademic Press Inc Elsevier Sciencees
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/pii/S0890540105001173
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.ic.2005.05.007
dc.rightsinfo:eu-repo/semantics/openAccess*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/*
dc.subjectProcess algebraes
dc.subjectAxiomatisationes
dc.subjectDivergencees
dc.subject.classificationIngeniería de Sistemas y Comunicacioneses
dc.subject.classificationIngeniería Eléctrica, Ingeniería Electrónica e Ingeniería de la Informaciónes
dc.subject.classificationINGENIERÍAS Y TECNOLOGÍASes
dc.titleAxiomatising divergencees
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion

Archivos

Bloque original

Miniatura
Nombre:
CONICET_Digital_Nro.46df704e-7d5d-49a2-bcf7-015e30802f68_B.pdf
Tamaño:
373.54 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Articulos(CCT - CORDOBA)
Volver a la Vista simple