An Extension to Horn Clause Logic Allowing the Definition of Concurrent Processes - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Luís Monteiro. An Extension to Horn Clause Logic Allowing the Definition of Concurrent Processes. In Josep Díaz, Isidro Ramos, editors, Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings. Volume 107 of Lecture Notes in Computer Science, pages 401-407, Springer, 1981.

The following publications are possibly variants of this publication:

A Horn Clause-like Logic for Specifying ConcurrencyLuís Monteiro. ICLP 1982: 1-8

runs on WebDSL