146
click to vote
CONCUR
15 years 7 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...
115
Voted
CONCUR
15 years 4 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 ...
79
Voted
CONCUR
15 years 7 months ago
2009 Springer 116
Voted
CONCUR
15 years 5 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...
126
Voted
CONCUR
14 years 10 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