Message-Passing Automata are expressively equivalent to {EMSO} Logic
| Title | Message-Passing Automata are expressively equivalent to {EMSO} Logic |
| Publication Type | Conference Paper |
| Year of Publication | 2004 |
| Authors | Benedikt Bollig, Leucker, M |
| Conference Name | Proceedings of the 15th International Conference on Concurrency Theory (CONCUR'04) |
| Series | Lecture Notes in Computer Science |
| Publisher | Springer |
| Conference Location | London, UK |
| URL | http://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}
}PDF:
