Kˇretínsk´y M.: A Process Algebra for Synchronous Concurrent Constraint (1996)

by L Brim, D R Gilbert, J-M Jacquet
Venue:Programming, Proceedings of Fifth International Conference on Algebraic and Logic Programming (ALP ’96), LNCS volume 1139