Axiomatising divergence

Autores
Lohrey, Markus; D'argenio, Pedro Ruben; Hermanns, Holger
Año de publicación
2005
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
When 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.
Fil: Lohrey, Markus. Universität Stuttgart; Alemania
Fil: 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);
Fil: Hermanns, Holger. Universitat Saarland; Alemania. Universiteit Twente (ut);
Materia
Process algebra
Axiomatisation
Divergence
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/241945

id CONICETDig_e9ae97dab7b45bf8516dbe0c3b5ddb0d
oai_identifier_str oai:ri.conicet.gov.ar:11336/241945
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Axiomatising divergenceLohrey, MarkusD'argenio, Pedro RubenHermanns, HolgerProcess algebraAxiomatisationDivergencehttps://purl.org/becyt/ford/2.2https://purl.org/becyt/ford/2When 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.Fil: Lohrey, Markus. Universität Stuttgart; AlemaniaFil: 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);Fil: Hermanns, Holger. Universitat Saarland; Alemania. Universiteit Twente (ut);Academic Press Inc Elsevier Science2005-12info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/241945Lohrey, Markus; D'argenio, Pedro Ruben; Hermanns, Holger; Axiomatising divergence; Academic Press Inc Elsevier Science; Information and Computation; 203; 2; 12-2005; 115-1440890-5401CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/pii/S0890540105001173info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ic.2005.05.007info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T09:48:06Zoai:ri.conicet.gov.ar:11336/241945instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 09:48:06.411CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Axiomatising divergence
title Axiomatising divergence
spellingShingle Axiomatising divergence
Lohrey, Markus
Process algebra
Axiomatisation
Divergence
title_short Axiomatising divergence
title_full Axiomatising divergence
title_fullStr Axiomatising divergence
title_full_unstemmed Axiomatising divergence
title_sort Axiomatising divergence
dc.creator.none.fl_str_mv Lohrey, Markus
D'argenio, Pedro Ruben
Hermanns, Holger
author Lohrey, Markus
author_facet Lohrey, Markus
D'argenio, Pedro Ruben
Hermanns, Holger
author_role author
author2 D'argenio, Pedro Ruben
Hermanns, Holger
author2_role author
author
dc.subject.none.fl_str_mv Process algebra
Axiomatisation
Divergence
topic Process algebra
Axiomatisation
Divergence
purl_subject.fl_str_mv https://purl.org/becyt/ford/2.2
https://purl.org/becyt/ford/2
dc.description.none.fl_txt_mv When 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.
Fil: Lohrey, Markus. Universität Stuttgart; Alemania
Fil: 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);
Fil: Hermanns, Holger. Universitat Saarland; Alemania. Universiteit Twente (ut);
description When 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.
publishDate 2005
dc.date.none.fl_str_mv 2005-12
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/241945
Lohrey, Markus; D'argenio, Pedro Ruben; Hermanns, Holger; Axiomatising divergence; Academic Press Inc Elsevier Science; Information and Computation; 203; 2; 12-2005; 115-144
0890-5401
CONICET Digital
CONICET
url http://hdl.handle.net/11336/241945
identifier_str_mv Lohrey, Markus; D'argenio, Pedro Ruben; Hermanns, Holger; Axiomatising divergence; Academic Press Inc Elsevier Science; Information and Computation; 203; 2; 12-2005; 115-144
0890-5401
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/pii/S0890540105001173
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ic.2005.05.007
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Academic Press Inc Elsevier Science
publisher.none.fl_str_mv Academic Press Inc Elsevier Science
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1844613496097996800
score 13.070432