An efficient algorithm for branching bisimulation and stuttering equivalence

J.F. Groote, F.W. Vaandrager

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

Original language	English
Title of host publication	Automata, Languages and Programming (Proceedings 17th International Colloquium, ICALP'90, Coventry, UK, July 16-20, 1990)
Editors	M. Paterson
Place of Publication	Berlin
Publisher	Springer
Pages	626-638
ISBN (Print)	3-540-52826-1
DOIs	https://doi.org/10.1007/BFb0032063
Publication status	Published - 1990

Name	Lecture Notes in Computer Science
Volume	443
ISSN (Print)	0302-9743

Access to Document

Groote, J. F., & Vaandrager, F. W. (1990). An efficient algorithm for branching bisimulation and stuttering equivalence. In M. Paterson (Ed.), Automata, Languages and Programming (Proceedings 17th International Colloquium, ICALP'90, Coventry, UK, July 16-20, 1990) (pp. 626-638). (Lecture Notes in Computer Science; Vol. 443). Springer. https://doi.org/10.1007/BFb0032063

@inproceedings{f38a6342e353446e82416ad21b4e7ec0,

title = "An efficient algorithm for branching bisimulation and stuttering equivalence",

author = "J.F. Groote and F.W. Vaandrager",

year = "1990",

doi = "10.1007/BFb0032063",

language = "English",

isbn = "3-540-52826-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "626--638",

editor = "M. Paterson",

booktitle = "Automata, Languages and Programming (Proceedings 17th International Colloquium, ICALP'90, Coventry, UK, July 16-20, 1990)",

address = "Germany",

}

An efficient algorithm for branching bisimulation and stuttering equivalence. / Groote, J.F.; Vaandrager, F.W.
Automata, Languages and Programming (Proceedings 17th International Colloquium, ICALP'90, Coventry, UK, July 16-20, 1990). ed. / M. Paterson. Berlin: Springer, 1990. p. 626-638 (Lecture Notes in Computer Science; Vol. 443).

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

TY - GEN

T1 - An efficient algorithm for branching bisimulation and stuttering equivalence

AU - Groote, J.F.

AU - Vaandrager, F.W.

PY - 1990

Y1 - 1990

U2 - 10.1007/BFb0032063

DO - 10.1007/BFb0032063

M3 - Conference contribution

SN - 3-540-52826-1

T3 - Lecture Notes in Computer Science

SP - 626

EP - 638

BT - Automata, Languages and Programming (Proceedings 17th International Colloquium, ICALP'90, Coventry, UK, July 16-20, 1990)

A2 - Paterson, M.

PB - Springer

CY - Berlin

ER -