Mostrar el registro sencillo del ítem

dc.contributor.author
Lohrey, Markus  
dc.contributor.author
D'argenio, Pedro Ruben  
dc.contributor.author
Hermanns, Holger  
dc.date.available
2024-08-07T11:05:14Z  
dc.date.issued
2005-12  
dc.identifier.citation
Lohrey, Markus; D'argenio, Pedro Ruben; Hermanns, Holger; Axiomatising divergence; Academic Press Inc Elsevier Science; Information and Computation; 203; 2; 12-2005; 115-144  
dc.identifier.issn
0890-5401  
dc.identifier.uri
http://hdl.handle.net/11336/241945  
dc.description.abstract
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.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Academic Press Inc Elsevier Science  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
Process algebra  
dc.subject
Axiomatisation  
dc.subject
Divergence  
dc.subject.classification
Ingeniería de Sistemas y Comunicaciones  
dc.subject.classification
Ingeniería Eléctrica, Ingeniería Electrónica e Ingeniería de la Información  
dc.subject.classification
INGENIERÍAS Y TECNOLOGÍAS  
dc.title
Axiomatising divergence  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2024-08-06T11:18:37Z  
dc.journal.volume
203  
dc.journal.number
2  
dc.journal.pagination
115-144  
dc.journal.pais
Estados Unidos  
dc.description.fil
Fil: Lohrey, Markus. Universität Stuttgart; Alemania  
dc.description.fil
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);  
dc.description.fil
Fil: Hermanns, Holger. Universitat Saarland; Alemania. Universiteit Twente (ut);  
dc.journal.title
Information and Computation  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/pii/S0890540105001173  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.ic.2005.05.007  

Archivos asociados
Thumbnail
 
Tamaño: 373.5Kb
Formato: PDF
.