Abstract | ||
---|---|---|
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every closed system of switched automata satisfies the key property that, in any reachable state, at most one component automaton is active. We define a trace-based semantics for switched PIOAs and prove it is compositional. We also propose switch extensions of an arbitrary PIOA and use these extensions to define a new trace-based semantics for PIOAs. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-31862-0_35 | The Plant Cell |
Keywords | DocType | ISBN |
explicit mechanism,new trace-based semantics,component automaton,key property,reachable state,switched probabilistic i,trace-based semantics,closed system,o automaton,special kind,arbitrary pioa | Conference | 3-540-25304-1 |
Citations | PageRank | References |
8 | 0.53 | 13 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ling Cheung | 1 | 485 | 21.39 |
Nancy A. Lynch | 2 | 10170 | 1838.61 |
Roberto Segala | 3 | 1909 | 116.71 |
Frits Vaandrager | 4 | 1571 | 105.12 |