Dynamic spaces in concurrent constraint programming
DOI10.1016/J.ENTCS.2014.06.008zbMATH Open1335.68180OpenAlexW2133468787WikidataQ57850770 ScholiaQ57850770MaRDI QIDQ281160FDOQ281160
Authors: Carlos Olarte, Vivek Nigam, Elaine Pimentel 
Publication date: 10 May 2016
Full work available at URL: https://doi.org/10.1016/j.entcs.2014.06.008
Recommendations
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Linear logic
- A calculus of mobile processes. I
- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
- Logic programming in a fragment of intuitionistic linear logic
- Linear concurrent constraint programming: Operational and phase semantics
- Models and emerging trends of concurrent constraint programming
- Title not available (Why is that?)
- A General Proof System for Modalities in Concurrent Constraint Programming
- Spatial and Epistemic Modalities in Constraint-Based Process Calculi
- On the Complexity of Linear Authorization Logics
- Observational equivalences for linear logic concurrent constraint languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A foundation for higher-order concurrent constraint programming
- Mobility in the CC-paradigm
- Specifying Proof Systems in Linear Logic with Subexponentials
- Closures and Modules Within Linear Logic Concurrent Constraint Programming
- Logic Programming
- Types for Proofs and Programs
- Timed default concurrent constraint programming
Cited In (10)
- Proving concurrent constraint programming correct, revisited
- On subexponentials, focusing and modalities in concurrent systems
- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
- On concurrent behaviors and focusing in linear logic
- Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
- Verification of spatial and temporal modalities in biochemical systems
- Subexponential concurrent constraint programming
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion
- Logic Programming
- Demand transformation analysis for concurrent constraint programs
Uses Software
This page was built for publication: Dynamic spaces in concurrent constraint programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q281160)
