Linear concurrent constraint programming: Operational and phase semantics
type: Item
instance of: scholarly article
title: Linear concurrent constraint programming: Operational and phase semantics
zbMATH Open document ID: 1003.68065
author: François Fages
author: Paul Ruet
author: Sylvain Soliman
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
full work available at URL: FRS01ic.pdf
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 1853157
describes a project that uses: Lolli
MaRDI profile type: Publication
OpenAlex ID: W2020916002
cites work: Q3357521
cites work: The chemical abstract machine
cites work: Constructive negation by pruning
cites work: Q3743300
cites work: Q3791120
cites work: Design, implementation, and evaluation of the constraint language cc(FD)
cites work: Logic programming in a fragment of intuitionistic linear logic
cites work: The undecidability of second order multiplicative linear logic
cites work: Decision problems for propositional linear logic
cites work: Uniform proofs as a foundation for logic programming
cites work: A calculus of mobile processes. I
cites work: Q4703047
cites work: Q4375591
cites work: Q4218945
cites work: Truly concurrent constraint programming
cites work: Negation and constraint logic programming
DOI: 10.1006/INCO.2000.3002
description: scientific article; zbMATH DE number 1853157