A process algebra for synchronous concurrent constraint programming /
Brim, Luboš.
City University (London, England).Department of Computer Science.
London : Dept. of Computer Science, City University,
1996.
"July 1996."