170 search results - page 8 / 34 » Bisimilarity in Concurrent Constraint Programming |
162
Voted
PPCP
1993
15 years 11 months ago
1993
200
click to vote
CONCUR
1997
Springer
15 years 11 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...
124
Voted
CORR
2002
Springer
15 years 7 months ago
2002
Springer
