157
click to vote
CONCUR
15 years 8 months ago
2009 Springer 
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
119
click to vote
CONCUR
15 years 5 months ago
2009 Springer 
We define an extension of forest algebra for -forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc.) extend to the infinite case. To ...
CONCUR
15 years 8 months ago
2009 Springer 121
click to vote
CONCUR
15 years 6 months ago
2009 Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
133
click to vote
CONCUR
14 years 11 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...
|
Distributed And Parallel Computing