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
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/241945
Ver los metadatos del registro completo
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 |