A confluent semantic basis for the analysis of concurrent constraint logic programs

Michael Codish, Moreno Falaschi, Kim Marriott, William Winsborough

Research output: Contribution to journalArticlepeer-review

7 Scopus citations

Fingerprint

Dive into the research topics of 'A confluent semantic basis for the analysis of concurrent constraint logic programs'. Together they form a unique fingerprint.

Mathematics