2171 search results - page 45 / 435 » A Generic Process Algebra |
77
Voted
SFM
2007
Springer
15 years 6 months ago
2007
Springer
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