Concurrent constraint programming and linear logic

Sylvain Soliman. Concurrent constraint programming and linear logic. PhD thesis, Paris Diderot University, France, 2001. [doi]

Abstract

Abstract is missing.