scientific article
From MaRDI portal
Publication:3727353
zbMath0595.68010MaRDI QIDQ3727353
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
synchronizationcommunication constraintsdata flowparallel logic programming languageguarded Horn clausesmode declarationread-only annotationC-PrologP-Prolog
Related Items
Efficient analysis of concurrent constraint logic programs ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs