Sciweavers

13752 search results - page 338 / 2751
» Parallel and Distributed Haskells
Sort
View
CONCUR
2009
Springer
16 years 1 months ago
Testing Finitary Probabilistic Processes
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy,...
CONCUR
2009
Springer
16 years 1 months ago
Deriving Syntax and Axioms for Quantitative Regular Behaviours
Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M...
EUROPAR
2009
Springer
16 years 1 months ago
A Self-stabilizing K-Clustering Algorithm Using an Arbitrary Metric
Eddy Caron, Ajoy Kumar Datta, Benjamin Depardon, L...