Axiomatising Divergence

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

doi:10.1007/3-540-45465-9_50

Axiomatising Divergence

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

9 Citations (Scopus)

Abstract

This paper develops sound and complete axiomatisations for the divergence sensitive spectrum of weak bisimulation equivalence. The axiomatisations can be extended to a considerable fragment of the linear time - branching time spectrum with silent moves, partially solving an open problem posed in [5].

Original language	English
Title of host publication	Automata, Languages and Programming
Subtitle of host publication	29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings
Editors	Peter Widmayer, Stephan Eidenbenz, Francisco Triguero, Rafael Morales, Ricardo Conejo, Matthew Hennessy
Place of Publication	Berlin
Publisher	Springer
Pages	585-596
Number of pages	12
ISBN (Electronic)	978-3-540-45465-6
ISBN (Print)	978-3-540-43864-9
DOIs	https://doi.org/10.1007/3-540-45465-9_50
Publication status	Published - 2002
Event	29th International Colloquium on Automata, Languages and Programming, ICALP 2002 - Málaga, Spain Duration: 8 Jul 2002 → 13 Jul 2002 Conference number: 29

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	2380
ISSN (Print)	0302-9743

Conference

Conference	29th International Colloquium on Automata, Languages and Programming, ICALP 2002
Abbreviated title	ICALP
Country/Territory	Spain
City	Málaga
Period	8/07/02 → 13/07/02

Keywords

FMT-PA: PROCESS ALGEBRAS
FMT-SEMANTICS

Access to Document

10.1007/3-540-45465-9_50

9 Citations
1 Article

Axiomatising Divergence
Lohrey, M., d' Argenio, P. R. & Hermanns, H., 2005, In: Information and computation. 203, 2, p. 115-144 30 p.
Research output: Contribution to journal › Article › Academic › peer-review

16 Citations (Scopus)

18 Downloads (Pure)

Cite this

Lohrey, M., d' Argenio, P. R., & Hermanns, H. (2002). Axiomatising Divergence. In P. Widmayer, S. Eidenbenz, F. Triguero, R. Morales, R. Conejo, & M. Hennessy (Eds.), Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings (pp. 585-596). (Lecture Notes in Computer Science; Vol. 2380). Springer. https://doi.org/10.1007/3-540-45465-9_50

Lohrey, Markus ; d' Argenio, Peter R. ; Hermanns, Holger. / Axiomatising Divergence. Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings. editor / Peter Widmayer ; Stephan Eidenbenz ; Francisco Triguero ; Rafael Morales ; Ricardo Conejo ; Matthew Hennessy. Berlin : Springer, 2002. pp. 585-596 (Lecture Notes in Computer Science).

@inproceedings{1a5434e49a0941abb1fe8da567f6de7b,

title = "Axiomatising Divergence",

abstract = "This paper develops sound and complete axiomatisations for the divergence sensitive spectrum of weak bisimulation equivalence. The axiomatisations can be extended to a considerable fragment of the linear time - branching time spectrum with silent moves, partially solving an open problem posed in [5].",

keywords = "FMT-PA: PROCESS ALGEBRAS, FMT-SEMANTICS",

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

year = "2002",

doi = "10.1007/3-540-45465-9_50",

language = "English",

isbn = "978-3-540-43864-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "585--596",

editor = "Peter Widmayer and Stephan Eidenbenz and Francisco Triguero and Rafael Morales and Ricardo Conejo and Matthew Hennessy",

booktitle = "Automata, Languages and Programming",

note = "29th International Colloquium on Automata, Languages and Programming, ICALP 2002, ICALP ; Conference date: 08-07-2002 Through 13-07-2002",

}

Lohrey, M, d' Argenio, PR & Hermanns, H 2002, Axiomatising Divergence. in P Widmayer, S Eidenbenz, F Triguero, R Morales, R Conejo & M Hennessy (eds), Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings. Lecture Notes in Computer Science, vol. 2380, Springer, Berlin, pp. 585-596, 29th International Colloquium on Automata, Languages and Programming, ICALP 2002, Málaga, Spain, 8/07/02. https://doi.org/10.1007/3-540-45465-9_50

Axiomatising Divergence. / Lohrey, Markus; d' Argenio, Peter R.; Hermanns, Holger.
Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings. ed. / Peter Widmayer; Stephan Eidenbenz; Francisco Triguero; Rafael Morales; Ricardo Conejo; Matthew Hennessy. Berlin: Springer, 2002. p. 585-596 (Lecture Notes in Computer Science; Vol. 2380).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Axiomatising Divergence

AU - Lohrey, Markus

AU - d' Argenio, Peter R.

AU - Hermanns, Holger

N1 - Conference code: 29

PY - 2002

Y1 - 2002

N2 - This paper develops sound and complete axiomatisations for the divergence sensitive spectrum of weak bisimulation equivalence. The axiomatisations can be extended to a considerable fragment of the linear time - branching time spectrum with silent moves, partially solving an open problem posed in [5].

AB - This paper develops sound and complete axiomatisations for the divergence sensitive spectrum of weak bisimulation equivalence. The axiomatisations can be extended to a considerable fragment of the linear time - branching time spectrum with silent moves, partially solving an open problem posed in [5].

KW - FMT-PA: PROCESS ALGEBRAS

KW - FMT-SEMANTICS

U2 - 10.1007/3-540-45465-9_50

DO - 10.1007/3-540-45465-9_50

M3 - Conference contribution

SN - 978-3-540-43864-9

T3 - Lecture Notes in Computer Science

SP - 585

EP - 596

BT - Automata, Languages and Programming

A2 - Widmayer, Peter

A2 - Eidenbenz, Stephan

A2 - Triguero, Francisco

A2 - Morales, Rafael

A2 - Conejo, Ricardo

A2 - Hennessy, Matthew

PB - Springer

CY - Berlin

T2 - 29th International Colloquium on Automata, Languages and Programming, ICALP 2002

Y2 - 8 July 2002 through 13 July 2002

ER -

Lohrey M, d' Argenio PR, Hermanns H. Axiomatising Divergence. In Widmayer P, Eidenbenz S, Triguero F, Morales R, Conejo R, Hennessy M, editors, Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings. Berlin: Springer. 2002. p. 585-596. (Lecture Notes in Computer Science). doi: 10.1007/3-540-45465-9_50