Message-Passing Automata are expressively equivalent to {EMSO} Logic
| Title | Message-Passing Automata are expressively equivalent to {EMSO} Logic |
| Publication Type | Journal Article |
| Year of Publication | 2006 |
| Authors | Benedikt Bollig, Leucker, M |
| Journal | Theoretical Computer Science |
| Volume | 358 |
| Pagination | 150–172 |
| URL | http://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:
