On Composing Concurrent Logic Processes
Jean-Marie Jacquet, Koen De Bosschere · The MIT Press eBooks · 1995
This paper discusses two methodological approaches for combining concurrent programs written in a modular way. The first one is based on the composition of traces. It is intuitive and simple but evidences the need for a more abstract approach. The second one meets this need. It composes specifications written in a UNITY-like temporal logic, and rests on Abadi and Lamport's composition principle ([1]). The two methodologies are explained using the concurrent logic programming language Log but can actually be applied to other concurrent logic languages such as Delta-Prolog ([3])), Shared Prolog ([6]), Concurrent Prolog ([16]), Parlog ([10]), GHC ([19]), cc ([15]), Strand ([9]), BinProlog ([18]), FLiPSiDe [17],. . . 1 Introduction The execution of concurrent programs written in many concurrent logic programming languages can be depicted as the parallel execution of processes accessing in some way a common global data structure. As an example, the cc family of languages ([15]) has as dat...