Verifying a Protocol Using Relativized Bisimulation

Kim Guldstrand Larsen, Robin Milner

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Automata, Languages and Programming
Subtitle of host publication	14th International Colloquium Karlsruhe, Federal Republic of Germany, July 13–17, 1987 Proceedings
Publisher	Springer
Pages	126-135
Number of pages	10
ISBN (Electronic)	978-3-540-47747-1
ISBN (Print)	978-3-540-18088-3
DOIs	https://doi.org/10.1007/3-540-18088-5_11
Publication status	Published - 1987

Access to Document

@inproceedings{14d333de421f400ca9462f3f70b6fae8,

title = "Verifying a Protocol Using Relativized Bisimulation",

author = "Larsen, {Kim Guldstrand} and Robin Milner",

year = "1987",

doi = "10.1007/3-540-18088-5_11",

language = "English",

isbn = "978-3-540-18088-3",

pages = "126--135",

booktitle = "Automata, Languages and Programming",

publisher = "Springer",

address = "United Kingdom",

}