P. Panangaden

N. P. Mendler, P. Panangaden, P. J. Scott, and R. A. G. Seely. A logical view of concurrent constraint programming. Nordic Journal of Computing, 2(2):181-220 , Summer 1995. Abstract, References, Citations, etc.