You are here

Home › Research › Publications ›

Modelling, {S}pecifying, and {V}erifying {M}essage {P}assing {S}ystems

TitleModelling, {S}pecifying, and {V}erifying {M}essage {P}assing {S}ystems
Publication TypeConference Paper
Year of Publication2001
AuthorsBenedikt Bollig, Leucker, M
EditorBettini, C, Montanari, A
Conference NameProceedings of the Symposium on Temporal Representation and Reasoning {(TIME'01)}
PublisherIEEE Computer Society Press
URLPS # "bollig_leucker__MPS_ext.ps.gz"
Bibtex: 
@inproceedings {BolligLeucker01b,
	title = {Modelling, {S}pecifying, and {V}erifying {M}essage {P}assing {S}ystems},
	booktitle = {Proceedings of the Symposium on Temporal Representation and Reasoning {(TIME{\textquoteright}01)}},
	year = {2001},
	pages = {240{\textendash}248},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	url = {PS $\#$ "bollig_leucker__MPS_ext.ps.gz"},
	author = {Benedikt Bollig and Martin Leucker},
	editor = {Claudio Bettini and Angelo Montanari}
}