Dynamic spaces in concurrent constraint programming

DOI10.1016/j.entcs.2014.06.008zbMath1335.68180OpenAlexW2133468787WikidataQ57850770 ScholiaQ57850770MaRDI QIDQ281160

Elaine Pimentel, Carlos Olarte, Vivek Nigam

Publication date: 10 May 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.06.008

zbMATH Keywords

linear logicmobilityconcurrent constraint programmingdistributed spacessubexponentials

Mathematics Subject Classification ID

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)

Related Items (6)

On concurrent behaviors and focusing in linear logic ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ On subexponentials, focusing and modalities in concurrent systems ⋮ Subexponential concurrent constraint programming ⋮ Proving concurrent constraint programming correct, revisited ⋮ Verification of spatial and temporal modalities in biochemical systems

Uses Software

• CC-Pi
• Lolli

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Timed default concurrent constraint programming
• A calculus of mobile processes. I
• 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
• 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
• 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
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

This page was built for publication: Dynamic spaces in concurrent constraint programming