On implementation of global concurrent systems with local asynchronous controllers
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.Full text not available from this repository.
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|
|Editor:||Abadi, M and DeAlfaro, L|
|Number of Pages:||15|
|Page Range:||pp. 443-457|
|Title of Event:||16th International Conference on Concurrency Theory|
|Location of Event:||San Francisco, CA|
|Date(s) of Event:||AUG 23-26, 2005|
Actions (login required)