In: Diaz, J.; et al.: Lecture Notes in Computer Science, Vol. 351; TAPSOFT'89, Vol. 1: Advanced Seminar on Foundations of Innovative Software Development, I, and Colloquium on Trees in Algebra and Programming (CAAP'89), pages 162-177. Berlin: Springer-Verlag, 1989.
Abstract: A truly distributed operational semantics for Concurrent Logic Languages is defined here, differently from those semantics based on interleaving models. Delta Prolog and the underlying Distributed Logic are taken as case studies. A scheme for translating a Delta Prolog system into a 1-safe Petri net is given and properties of (perpetual) processes based on the notion of causality, e.g. fairness and deadlock, are addressed.
Keywords: distributed operational semantics; net oriented semantics; delta prolog; concurrent logic; safe net; fairness; deadlock.
Back to the Petri Nets Bibliography