Artículo

Axiomatising divergence

Lohrey, Markus; D'argenio, Pedro RubenIcon ; Hermanns, Holger
Fecha de publicación: 12/2005
Editorial: Academic Press Inc Elsevier Science
Revista: Information and Computation
ISSN: 0890-5401
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

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.
Palabras clave: Process algebra , Axiomatisation , Divergence
 
Archivos asociados
Thumbnail
 
Tamaño: 373.5Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/241945
URL: https://www.sciencedirect.com/science/article/pii/S0890540105001173
DOI: http://dx.doi.org/10.1016/j.ic.2005.05.007
Colecciones
Articulos(CCT - CORDOBA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - CORDOBA
Citación
Lohrey, Markus; D'argenio, Pedro Ruben; Hermanns, Holger; Axiomatising divergence; Academic Press Inc Elsevier Science; Information and Computation; 203; 2; 12-2005; 115-144
Compartir
Altmétricas