942 search results - page 62 / 189 » Process Algebraic Non-product-forms |
154
Voted
ESTIMEDIA
2004
Springer
16 years 26 days ago
2004
Springer
135
Voted
IFIP
2004
Springer
16 years 25 days ago
2004
Springer
235
click to vote
CONCUR
2003
Springer
16 years 21 days 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...