4353 search results - page 54 / 871 » Expressiveness of Process Algebras |
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
120
click to vote
CONCUR
2003
Springer
15 years 3 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...
ICALP
2003
Springer
15 years 3 months ago
2003
Springer
AINA
2009
IEEE
15 years 2 months ago
2009
IEEE
CONCUR
2001
Springer
15 years 2 months ago
2001
Springer
