A process algebra for synchronous concurrent constraint programming (1996)

by L Brim, J-M Jacquet, D R Gilbert, M Kfetinsk
Venue:Proceedings of ALP96: Fifth International Conference on Algebraic and Logic Programming