Login / Signup
An Extension to Horn Clause Logic Allowing the Definition of Concurrent Processes.
Luís Monteiro
Published in:
ICFPC (1981)
Keyphrases
</>
concurrent processes
horn clause logic
petri net
concurrent programs
information extraction
background knowledge