A Banach space based semantics for Probabilistic Concurrent Constraint Programming (1998)

by Alessandra Di Pierro, Herbert Wiklicky
Venue:In CATS'98 -- Computing: the 4th Australian Theory Symposium, Lecture Notes in Computer Science