7109 search results - page 39 / 1422 » Process Algebra with Combinators |
82
Voted
ESTIMEDIA
2004
Springer
15 years 6 months ago
2004
Springer
76
Voted
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
144
click to vote
CONCUR
2003
Springer
15 years 5 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...
63
Voted
ICALP
2003
Springer
15 years 5 months ago
2003
Springer
73
Voted
AINA
2009
IEEE
15 years 5 months ago
2009
IEEE