Message-Passing Automata are expressively equivalent to {EMSO} Logic

TitleMessage-Passing Automata are expressively equivalent to {EMSO} Logic
Publication TypeConference Paper
Year of Publication2004
AuthorsBenedikt Bollig, Leucker, M
Conference NameProceedings of the 15th International Conference on Concurrency Theory (CONCUR'04)
SeriesLecture Notes in Computer Science
PublisherSpringer
Conference LocationLondon, UK
URLhttp://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3170&spage=146
Bibtex: 
@inproceedings {BolligLeucker04,
	title = {Message-Passing Automata are expressively equivalent to {EMSO} Logic},
	booktitle = {Proceedings of the 15th International Conference on Concurrency Theory (CONCUR{\textquoteright}04)},
	series = {Lecture Notes in Computer Science},
	year = {2004},
	publisher = {Springer},
	organization = {Springer},
	address = {London, UK},
	url = {http://springerlink.metapress.com/openurl.asp?genre=article\&issn=0302-9743\&volume=3170\&spage=146},
	author = {Benedikt Bollig and Martin Leucker}
}