Linear concurrent constraint programming: Operational and phase semantics

DOI10.1006/inco.2000.3002zbMath1003.68065OpenAlexW2020916002MaRDI QIDQ1854410

Paul Ruet, François Fages, Sylvain Soliman

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01431358/file/FRS01ic.pdf

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

On concurrent behaviors and focusing in linear logic, Session-based concurrency, declaratively, Dynamic spaces in concurrent constraint programming, A proof theoretic view of spatial and temporal dependencies in biochemical systems, Deriving Inverse Operators for Modal Logic, An Analytic Propositional Proof System on Graphs, Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols, Belief, knowledge, lies and other utterances in an algebra for space and extrusion, A Proof Theoretic Study of Soft Concurrent Constraint Programming, On subexponentials, focusing and modalities in concurrent systems, Slicing concurrent constraint programs, A Survey of the Proof-Theoretic Foundations of Logic Programming, Abstract interpretation of temporal concurrent constraint programs, Subexponential concurrent constraint programming, Unnamed Item, Introduction to the special issue on computational logic for verification, A concurrent constraint programming interpretation of access permissions, Relating State-Based and Process-Based Concurrency through Linear Logic, A symbolic model for timed concurrent constraint programming, Proving concurrent constraint programming correct, revisited, Characterizing right inverses for spatial constraint systems with applications to modal logic, Closures and Modules Within Linear Logic Concurrent Constraint Programming, Verification of spatial and temporal modalities in biochemical systems, LMNtal as a hierarchical logic programming language, Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus, Models and emerging trends of concurrent constraint programming

Uses Software

• Lolli

Cites Work

• The chemical abstract machine
• Decision problems for propositional linear logic
• A calculus of mobile processes. I
• Logic programming in a fragment of intuitionistic linear logic
• Truly concurrent constraint programming
• Negation and constraint logic programming
• The undecidability of second order multiplicative linear logic
• Uniform proofs as a foundation for logic programming
• Design, implementation, and evaluation of the constraint language cc(FD)
• Constructive negation by pruning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item