Linear concurrent constraint programming: Operational and phase semantics
From MaRDI portal
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cites work
- A calculus of mobile processes. I
- Constructive negation by pruning
- Decision problems for propositional linear logic
- Design, implementation, and evaluation of the constraint language cc(FD)
- scientific article; zbMATH DE number 4209572 (Why is no real title available?)
- scientific article; zbMATH DE number 3976991 (Why is no real title available?)
- scientific article; zbMATH DE number 4055576 (Why is no real title available?)
- scientific article; zbMATH DE number 1223634 (Why is no real title available?)
- scientific article; zbMATH DE number 1113818 (Why is no real title available?)
- scientific article; zbMATH DE number 1377618 (Why is no real title available?)
- Logic programming in a fragment of intuitionistic linear logic
- Negation and constraint logic programming
- The chemical abstract machine
- The undecidability of second order multiplicative linear logic
- Truly concurrent constraint programming
- Uniform proofs as a foundation for logic programming
Cited in
(39)- LMNtal as a hierarchical logic programming language
- Characterizing right inverses for spatial constraint systems with applications to modal logic
- Session-based concurrency, declaratively
- Models and emerging trends of concurrent constraint programming
- On concurrent behaviors and focusing in linear logic
- On subexponentials, focusing and modalities in concurrent systems
- Verification of spatial and temporal modalities in biochemical systems
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
- scientific article; zbMATH DE number 1638652 (Why is no real title available?)
- Dynamic spaces in concurrent constraint programming
- A concurrent model for linear logic
- Linearity, persistence and testing semantics in the asynchronous pi-calculus
- Design and implementation of a concurrent logic programming language with linear logic constraints
- A proof theoretic study of soft concurrent constraint programming
- Observational equivalences for linear logic concurrent constraint languages
- Deriving inverse operators for modal logic
- Semantic structures for spatially-distributed multi-agent systems
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion
- Concurrent and reactive constraint programming
- scientific article; zbMATH DE number 1223634 (Why is no real title available?)
- scientific article; zbMATH DE number 517042 (Why is no real title available?)
- scientific article; zbMATH DE number 517089 (Why is no real title available?)
- Abstract interpretation of temporal concurrent constraint programs
- Introduction to the special issue on computational logic for verification
- A concurrent constraint programming interpretation of access permissions
- scientific article; zbMATH DE number 794260 (Why is no real title available?)
- Relating state-based and process-based concurrency through linear logic
- True concurrency semantics for a linear logic programming language with broadcast communication
- An Analytic Propositional Proof System on Graphs
- Lolliproc: to concurrency from classical linear logic via Curry-Howard and control
- A symbolic model for timed concurrent constraint programming
- Proving concurrent constraint programming correct, revisited
- Closures and Modules Within Linear Logic Concurrent Constraint Programming
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- Interpolation in linear logic and related systems
- A proof-theoretic approach to the semantics of classical linear logic
- Subexponential concurrent constraint programming
This page was built for publication: Linear concurrent constraint programming: Operational and phase semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1854410)
