Switched PIOA: Parallel composition via distributed scheduling
Author: L. Cheung, N. Lynch, R. Segala, F. Vaandrager,
Appears: Theoretical Computer Science, 365, pages 83-108, 2006.
This paper presents the framework of switched probabilistic input/output automata (or switched PIOA), augmenting the original PIOA framework with an explicit control exchange mechanism. Using this mechanism, we model a network of processes passing a single token among them, so that the location of this token determines which process is scheduled to make the next move. This token structure therefore implements a distributed scheduling scheme: scheduling decisions are always made by the (unique) active component.
Download the full paper from the publisher.
preliminary version of the paper.