- M. Falaschi, G. Levi, and C. Palamidessi. A synchronization logic:
Axiomatics and formal semantics of generalized Horn clauses.
Information and Control, 60(1-3):36-69,
January/February/March 1984.
Abstract
and References.
- Moreno Falaschi, Giorgio Levi, Maurizio Martelli, and Catuscia
Palamidessi. A
model-theoretic reconstruction of the operational semantics of logic
programs. Information and Computation, 103(1):86-113,
March 1993.
Abstract,
References,
and Citations.
- Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, and Catuscia
Palamidessi. Constraint
logic programming with dynamic scheduling: A semantics based on closure
operators. Information and Computation, 137(1):41-67,
25 August 1997.
Abstract,
References,
and Citations.
Shortcuts: