7109 search results - page 39 / 1422 » Process Algebra with Combinators |
154
Voted
ESTIMEDIA
2004
Springer
16 years 26 days ago
2004
Springer
136
Voted
IFIP
2004
Springer
16 years 26 days ago
2004
Springer
236
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...
139
Voted
ICALP
2003
Springer
16 years 21 days ago
2003
Springer