170 search results - page 8 / 34 » Bisimilarity in Concurrent Constraint Programming |
120
click to vote
CONCUR
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
CORR
2002
Springer
15 years 2 months ago
2002
Springer
