391 search results - page 21 / 79 » Compositionality for Probabilistic Automata |
162
click to vote
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
153
Voted
CORR
2010
Springer
15 years 6 hour ago
2010
Springer
In a probabilistic cellular automaton (PCA), the cells are updated synchronously and independently, according to a distribution depending on a finite neighborhood. A PCA can be vi...
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
116
Voted
QEST
2008
IEEE
15 years 9 months ago
2008
IEEE