@inproceedings{03329b80a0294362a844d301d9804c6f,
title = "Concurrent constraint programming and non-commutative logic",
abstract = "This paper presents a connection between the intuitionistic fragment of a non-commutative version of linear logic introduced by the first author (NLI) and concurrent constraint programming (CC). We refine existing logical characterizations of operational aspects of CC, by providing a logical interpretation of finer observable properties of CC programs, namely stores, successes and suspensions.",
author = "Paul Ruet and Fran{\c c}ois Fages",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 11th International Workshop on Computer Science Logic, CSL 1997, Annual Conference of the European Association for Computer Science, EACSL 1997 ; Conference date: 23-08-1997 Through 29-08-1997",
year = "1998",
month = jan,
day = "1",
doi = "10.1007/BFb0028028",
language = "English",
isbn = "3540645705",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "406--423",
editor = "Mogens Nielsen and Wolfgang Thomas",
booktitle = "Computer Science Logic - 11th International Workshop, CSL 1997 Annual Conference of the EACSL, Selected Papers",
}