Bounded-wait merge in Shapiro's concurrent Prolog
From MaRDI portal
Publication:1079007
DOI10.1007/BF03037100zbMath0596.68012OpenAlexW2079137810MaRDI QIDQ1079007
Publication date: 1984
Published in: New Generation Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03037100
Related Items (2)
Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog ⋮ Specification and initialization of a logic computer system
This page was built for publication: Bounded-wait merge in Shapiro's concurrent Prolog
