Axiomatising Divergence

Markus Lohrey; Pedro R. d' Argenio; Holger Hermanns

doi:10.1016/j.ic.2005.05.007

Axiomatising Divergence

Markus Lohrey, Pedro R. d' Argenio, Holger Hermanns

Research output: Contribution to journal › Article › Academic › peer-review

17 Citations (Scopus)

25 Downloads (Pure)

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 phenomen along the execution leads to different divergent sensitive semantics. This paper develops sound and complete axiomatisations for the divergence sen- sitive spectrum of weak bisimulation equivalence. The axiomatisations separates the axioms concerning recursion and those that capture the essence of diverging behaviour.

Original language	English
Pages (from-to)	115-144
Number of pages	30
Journal	Information and computation
Volume	203
Issue number	2
DOIs	https://doi.org/10.1016/j.ic.2005.05.007
Publication status	Published - 2005

Keywords

Process algebra
Axiomatisation
Divergence

Access to Document

10.1016/j.ic.2005.05.007

17 Citations
1 Conference contribution

Axiomatising Divergence
Lohrey, M., d' Argenio, P. R. & Hermanns, H., 2002, Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings. Widmayer, P., Eidenbenz, S., Triguero, F., Morales, R., Conejo, R. & Hennessy, M. (eds.). Berlin: Springer, p. 585-596 12 p. (Lecture Notes in Computer Science; vol. 2380).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
9 Citations (Scopus)

5 Downloads (Pure)

Cite this

@article{8fd6768bb94e47dc99f5cae3db8d1988,

title = "Axiomatising Divergence",

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 phenomen along the execution leads to different divergent sensitive semantics. This paper develops sound and complete axiomatisations for the divergence sen- sitive spectrum of weak bisimulation equivalence. The axiomatisations separates the axioms concerning recursion and those that capture the essence of diverging behaviour.",

keywords = "Process algebra, Axiomatisation, Divergence",

author = "Markus Lohrey and {d' Argenio}, {Pedro R.} and Holger Hermanns",

year = "2005",

doi = "10.1016/j.ic.2005.05.007",

language = "English",

volume = "203",

pages = "115--144",

journal = "Information and computation",

issn = "0890-5401",

publisher = "Elsevier",

number = "2",

}

TY - JOUR

T1 - Axiomatising Divergence

AU - Lohrey, Markus

AU - d' Argenio, Pedro R.

AU - Hermanns, Holger

PY - 2005

Y1 - 2005

N2 - 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 phenomen along the execution leads to different divergent sensitive semantics. This paper develops sound and complete axiomatisations for the divergence sen- sitive spectrum of weak bisimulation equivalence. The axiomatisations separates the axioms concerning recursion and those that capture the essence of diverging behaviour.

AB - 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 phenomen along the execution leads to different divergent sensitive semantics. This paper develops sound and complete axiomatisations for the divergence sen- sitive spectrum of weak bisimulation equivalence. The axiomatisations separates the axioms concerning recursion and those that capture the essence of diverging behaviour.

KW - Process algebra

KW - Axiomatisation

KW - Divergence

U2 - 10.1016/j.ic.2005.05.007

DO - 10.1016/j.ic.2005.05.007

M3 - Article

SN - 0890-5401

VL - 203

SP - 115

EP - 144

JO - Information and computation

JF - Information and computation

IS - 2

ER -

Axiomatising Divergence

Abstract

Keywords

Access to Document

Fingerprint

Research output

Axiomatising Divergence

Cite this