The Library
On implementation of global concurrent systems with local asynchronous controllers
Tools
UNSPECIFIED (2005) On implementation of global concurrent systems with local asynchronous controllers. In: 16th International Conference on Concurrency Theory, San Francisco, CA, AUG 23-26, 2005. Published in: CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS, 3653 pp. 443-457. ISBN 3-540-28309-9. ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
The classical modelization of concurrent system behaviors is based on observing execution sequences of global states. This model is intuitively simple and enjoys a variety of mathematical tools, e.g. finite automata, helping verifying concurrent systems. On the other hand, parallel composition of local controllers are needed when dealing with the actual implementation of concurrent models. A well known tool for turning global observation into local controllers is Zielonka's theorem, and its derivatives. We give here another algorithm, simpler and cheaper than Zielonka's theorem, in the case where the events observed do not include communication but only local asynchronous actions. In a developer point of view, it means that she does not have to explicitly specify the messages needed, which will be added (if allowed) automatically by the implementation algorithm.
Item Type: | Conference Item (UNSPECIFIED) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Series Name: | LECTURE NOTES IN COMPUTER SCIENCE | ||||
Journal or Publication Title: | CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS | ||||
Publisher: | SPRINGER-VERLAG BERLIN | ||||
ISBN: | 3-540-28309-9 | ||||
ISSN: | 0302-9743 | ||||
Editor: | Abadi, M and DeAlfaro, L | ||||
Official Date: | 2005 | ||||
Dates: |
|
||||
Volume: | 3653 | ||||
Number of Pages: | 15 | ||||
Page Range: | pp. 443-457 | ||||
Publication Status: | Published | ||||
Title of Event: | 16th International Conference on Concurrency Theory | ||||
Location of Event: | San Francisco, CA | ||||
Date(s) of Event: | AUG 23-26, 2005 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |