International Conference on Coordination Languages and Models

COORDINATION 1997: Coordination Languages and Models pp 256-273

Partial order and SOS semantics for linear constraint programs

  • Eike Best
  • Frank S. de Boer
  • Catuscia Palamidessi
Regular Papers

DOI: 10.1007/3-540-63383-9_85

Volume 1282 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Best E., de Boer F.S., Palamidessi C. (1997) Partial order and SOS semantics for linear constraint programs. In: Garlan D., Le Métayer D. (eds) Coordination Languages and Models. COORDINATION 1997. Lecture Notes in Computer Science, vol 1282. Springer, Berlin, Heidelberg

Abstract

In this paper we consider linear constraint programming (Icp), a non-monotonic extension of concurrent constraint programming (ccp) which allows to remove information. The entailment relation of a linear constraint system, in terms of which linear constraint programs are defined, is based on the main underlying idea of linear logic: hypotheses in a logical derivation represent physical resources which are consumed, once used in the entailment relation.

We give a semantical analysis of this extension of ccp in terms of the causal relations among occurrences of basic actions (i.e. events). Using a partial order based history model, we define truly concurrent operational and partial order semantic models of lcp. They allow us to compare — and classify — various sublanguages of the proposed extension of ccp (including ccp itself) from the point of view of the degree of parallelism they generate. The two main results of the paper are consistency and completeness of the partial order model with respect to the operational semantics, and thus — as we will argue — its adequacy.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • Eike Best
    • 1
  • Frank S. de Boer
    • 2
  • Catuscia Palamidessi
    • 3
  1. 1.Fachbereich InformatikC.v.O.-Universität OldenburgFRG
  2. 2.Vakgroep InformaticaUniversiteit UtrechtThe Netherlands
  3. 3.DISIUniversità di GenovaItaly