On concurrent behaviors and focusing in linear logic
From MaRDI portal
Publication:2358701
DOI10.1016/j.tcs.2016.08.026zbMath1371.68197OpenAlexW2523540408WikidataQ57850677 ScholiaQ57850677MaRDI QIDQ2358701
Elaine Pimentel, Carlos Olarte
Publication date: 15 June 2017
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2016.08.026
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
An Analytic Propositional Proof System on Graphs, Slicing concurrent constraint programs, Unnamed Item, A concurrent constraint programming interpretation of access permissions
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dynamic spaces in concurrent constraint programming
- Proving concurrent constraint programming correct, revisited
- Linear logic
- Timed default concurrent constraint programming
- A framework for proof systems
- Relating state-based and process-based concurrency through linear logic (full-version)
- Subexponential concurrent constraint programming
- A calculus of communicating systems
- The Esterel synchronous programming language: Design, semantics, implementation
- A calculus of mobile processes. I
- Proofs as processes
- Confluence in concurrent constraint programming
- Multi-focused proofs with different polarity assignments
- A timed concurrent constraint language.
- Linear concurrent constraint programming: Operational and phase semantics
- Models and emerging trends of concurrent constraint programming
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- A General Proof System for Modalities in Concurrent Constraint Programming
- Spatial and Epistemic Modalities in Constraint-Based Process Calculi
- Observational equivalences for linear logic concurrent constraint languages
- An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials
- From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
- The Space and Motion of Communicating Agents
- A Theory of Communicating Sequential Processes
- Logic Programming with Focusing Proofs in Linear Logic
- A Systematic Approach to Canonicity in the Classical Sequent Calculus
- A foundation for higher-order concurrent constraint programming
- Propositions as sessions
- On the Specification of Sequent Systems
- A Logical Framework for Systems Biology
- Linear logic propositions as session types
- Least and Greatest Fixed Points in Linear Logic
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
