A process algebra of concurrent constraint programming
A process algebra of concurrent constraint programming / by F.S. de Boer