Skip to content

A Horn Clause-like Logic for Specifying Concurrency.

Lus Monteiro

VenueBICLP
Year1982
ProceedingsICLP

Browse the full ICLP paper archive.