Dynamic spaces in concurrent constraint programming

DOI10.1016/J.ENTCS.2014.06.008zbMATH Open1335.68180OpenAlexW2133468787WikidataQ57850770 ScholiaQ57850770MaRDI QIDQ281160FDOQ281160

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

mobilitylinear logicconcurrent constraint programmingdistributed spacessubexponentials

Mathematics Subject Classification ID

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 (7)

• Proving concurrent constraint programming correct, revisited
• On subexponentials, focusing and modalities in concurrent systems
• On concurrent behaviors and focusing in linear logic
• 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
• Demand transformation analysis for concurrent constraint programs

Uses Software

• CC-Pi
• Lolli

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)