Concurrent Constraint Programming and Non-commutative Logic

@inproceedings{Ruet1997ConcurrentCP,
  title={Concurrent Constraint Programming and Non-commutative Logic},
  author={Paul Ruet and François Fages},
  booktitle={CSL},
  year={1997}
}
This paper presents a connection between the intuitionis-tic fragment of a non-commutative version of linear logic introduced by the rst author (NLI) and concurrent constraint programming (CC). We reene existing logical characterizations of operational aspects of CC, by providing a logical interpretation of ner observable properties of CC programs, namely stores, successes and suspensions. 

References

Publications referenced by this paper.
Showing 1-10 of 32 references

Non-commutative logic and concurrent constraint programming

  • P. Ruet
  • PhD thesis, Universit e Denis Diderot, Paris 7,
  • 1997
Highly Influential
4 Excerpts

Non-commutative linear logic with mobilities

  • P. Ruet
  • Presented at the Logic Colloquium'96, San…
  • 1997
2 Excerpts

Pomset logic - A non-commutative extension of commutative linear logic

  • Ch. Retor e
  • In TLCA'97, Springer LNCS
  • 1997
1 Excerpt

Similar Papers

Loading similar papers…