Linear concurrent constraint programming: Operational and phase semantics
From MaRDI portal
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) 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)
Recommendations
Cites work
- 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?)
- 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)
- 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
(37)- Session-based concurrency, declaratively
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
- Concurrent and reactive constraint programming
- Dynamic spaces in concurrent constraint programming
- An Analytic Propositional Proof System on Graphs
- scientific article; zbMATH DE number 7449993 (Why is no real title available?)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- scientific article; zbMATH DE number 517042 (Why is no real title available?)
- scientific article; zbMATH DE number 794260 (Why is no real title available?)
- Deriving inverse operators for modal logic
- Lolliproc: to concurrency from classical linear logic via Curry-Howard and control
- A concurrent constraint programming interpretation of access permissions
- Linearity, persistence and testing semantics in the asynchronous pi-calculus
- On subexponentials, focusing and modalities in concurrent systems
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion
- Introduction to the special issue on computational logic for verification
- A concurrent model for linear logic
- Subexponential concurrent constraint programming
- Design and implementation of a concurrent logic programming language with linear logic constraints
- A proof theoretic study of soft concurrent constraint programming
- Interpolation in linear logic and related systems
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- Closures and Modules Within Linear Logic Concurrent Constraint Programming
- LMNtal as a hierarchical logic programming language
- On concurrent behaviors and focusing in linear logic
- Observational equivalences for linear logic concurrent constraint languages
- True concurrency semantics for a linear logic programming language with broadcast communication
- Relating state-based and process-based concurrency through linear logic
- Models and emerging trends of concurrent constraint programming
- Characterizing right inverses for spatial constraint systems with applications to modal logic
- A symbolic model for timed concurrent constraint programming
- Proving concurrent constraint programming correct, revisited
- scientific article; zbMATH DE number 517089 (Why is no real title available?)
- Verification of spatial and temporal modalities in biochemical systems
- scientific article; zbMATH DE number 1638652 (Why is no real title available?)
- Abstract interpretation of temporal concurrent constraint programs
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)
