A Hierarchy of Implementable {MSC} Languages
| Title | A Hierarchy of Implementable {MSC} Languages |
| Publication Type | Conference Paper |
| Year of Publication | 2005 |
| Authors | Benedikt Bollig, Leucker, M |
| Conference Name | Proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'05) |
| Series | Lecture Notes in Computer Science |
| Volume | 3731 |
| Publisher | Springer |
| Conference Location | National Taiwan University |
| Abstract | We develop a unifying theory of message-passing automata (MPAs) and MSC languages. We study several variants of regular as well as product MSC languages, their closure under finite union and their intersection. Furthermore, we analyse the expressive power of several variants of MPAs and characterize the language classes of interest by the corresponding classes of MPAs. |
| URL | http://dx.doi.org/10.1007/11562436_6 |
Bibtex:
@inproceedings {BolligLeucker05b,
title = {A Hierarchy of Implementable {MSC} Languages},
booktitle = {Proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE{\textquoteright}05)},
series = {Lecture Notes in Computer Science},
volume = {3731},
year = {2005},
publisher = {Springer},
organization = {Springer},
address = {National Taiwan University},
abstract = {We develop a unifying theory of message-passing automata (MPAs) and MSC languages. We study several variants of regular as well as product MSC languages, their closure under finite union and their intersection. Furthermore, we analyse the expressive power of several variants of MPAs and characterize the language classes of interest by the corresponding classes of MPAs.},
url = {http://dx.doi.org/10.1007/11562436_6},
author = {Benedikt Bollig and Martin Leucker}
}PDF:
Postscript:
