36 search results - page 2 / 8 » concur 2009 |
CONCUR
2009
Springer
14 years 10 days ago
2009
Springer
CONCUR
2009
Springer
14 years 10 days ago
2009
Springer
CONCUR
2009
Springer
14 years 10 days ago
2009
Springer
Abstract. We show how to apply Howe’s method for the proof of congruence of early bisimilarities in a higher-order process calculus with
CONCUR
2009
Springer
14 years 10 days ago
2009
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. In previous work, a probabilistic notion of time divergence for p...
CONCUR
2009
Springer
13 years 3 months ago
2009
Springer
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...