For the most recent entries see the Petri Nets Newsletter.

A Distributed, Net Oriented Semantics for Delta Prolog.

Brogi, Antonio; Gorrieri, Roberto

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography