On the asynchronous nature of communication in concurrent logic languages: A fully abstract model based on sequences

  • Frank S. de Boer
  • Catuscia Palamidessi
Selected Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 458)

Abstract

The main contribution of this paper is to show that the nature of the communication mechanism of concurrent logic languages is essentially different from imperative concurrent languages. We show this by defining a compositional model based on sequences of input-output substitutions. This is to be contrasted with the compositionality in languages like CCS and TCSP, which requires more complicated structures, like trees and failure sets. Moreover, we prove that this model is fully abstract, namely that the information encoded by these sequences is necessary.

Regarding fully abstractness, our observation criterium consists of all the possible finite results, namely the computed answer substitution together with the termination mode (success, failure, or suspension). The operations we consider are parallel composition of goals and disjoint union of programs. We define a compositional operational semantics delivering sequences of input-output substitutions. Starting from this we obtain a fully abstract denotational semantics by requiring some closure conditions on sequences, that essentially model the monotonic nature of communication in concurrent logic languages. The correctness of this model is proved by refining the operational semantics in order to embody these closure conditions.

Key words and phrases

operational semantics denotational semantics concurrent logic languages substitutions sequences compositionality fully abstractness 

1985 Mathematics Subject Classification

68Q55 68Q10 

1987 Computing Reviews Categories

D.1.3 D.3.1 F.1.2 F.3.2 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1990

Authors and Affiliations

  • Frank S. de Boer
    • 1
  • Catuscia Palamidessi
    • 2
  1. 1.Technische Universiteit EindhovenEindhovenThe Netherlands
  2. 2.Dipartimento di InformaticaUniversità di PisaPisaItaly

Personalised recommendations