Linear Concurrent Constraint Programming: Operational and Phase Semantics

In this paper we give a logical semantics for the class CC of concurrent constraint programming languages and for its extension LCC based on linear constraint systems. Besides the characterization in intuitionistic logic of the stores of CC computations, we show that both the stores and the successe...

Full description

Saved in:

Bibliographic Details
Published in:	Information and computation Vol. 165; no. 1; pp. 14 - 41
Main Authors:	Fages, François, Ruet, Paul, Soliman, Sylvain
Format:	Journal Article
Language:	English
Published:	San Diego, CA Elsevier Inc 25.02.2001 Elsevier
Subjects:	Applied sciences Calculus of variations and optimal control Computer Science Computer science; control theory; systems Exact sciences and technology Language theory and syntactical analysis Mathematical analysis Mathematical programming Mathematics Operational research and scientific management Operational research. Management science Programming Languages Sciences and techniques of general use Theoretical computing Logical semantics Intuitionistic logic Operational semantics Linear programming Logical programming Mutual exclusion Constrained optimization Relation Constrainte system transition relation Concurrency Semantics Transition Mathematical programming
ISSN:	0890-5401, 1090-2651
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!