Abstracting Synchronization in Concurrent Constraint Programming.
Enea Zaffanella, Giorgio Levi, Roberto Giacobazzi
VenueBICLP
Year1994
ProceedingsICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages
DBLP recordconf/iclp/ZaffanellaLG94 ↗
Browse the full ICLP paper archive.