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

TitleMessage-Passing Automata are expressively equivalent to {EMSO} Logic
Publication TypeJournal Article
Year of Publication2006
AuthorsBenedikt Bollig, Leucker, M
JournalTheoretical Computer Science
Volume358
Pagination150–172
URLhttp://www.sciencedirect.com/science/journal/03043975
Bibtex: 
@article {BolligLeucker05,
	title = {Message-Passing Automata are expressively equivalent to {EMSO} Logic},
	journal = {Theoretical Computer Science},
	volume = {358},
	number = {2-3},
	year = {2006},
	pages = {150{\textendash}172},
	url = {http://www.sciencedirect.com/science/journal/03043975},
	author = {Benedikt Bollig and Martin Leucker}
}
Postscript: