Dynamic spaces in concurrent constraint programming

DOI10.1016/J.ENTCS.2014.06.008MaRDI QIDQ281160zbMATH OpenOpenAlexWikidataFDO

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

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)

Recommendations

• scientific article; zbMATH DE number 1337862
• Models and emerging trends of concurrent constraint programming
• Logic Programming
• Models for concurrent constraint programming
• Subexponential concurrent constraint programming

Cites work

• scientific article; zbMATH DE number 1696814 (Why is no real title available?)
• scientific article; zbMATH DE number 1809625 (Why is no real title available?)
• scientific article; zbMATH DE number 1337862 (Why is no real title available?)
• scientific article; zbMATH DE number 517072 (Why is no real title available?)
• A calculus of mobile processes. I
• A foundation for higher-order concurrent constraint programming
• A general proof system for modalities in concurrent constraint programming
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Closures and Modules Within Linear Logic Concurrent Constraint Programming
• Linear concurrent constraint programming: Operational and phase semantics
• Linear logic
• Logic Programming
• Logic programming in a fragment of intuitionistic linear logic
• Mobility in the CC-paradigm
• Models and emerging trends of concurrent constraint programming
• Observational equivalences for linear logic concurrent constraint languages
• On the complexity of linear authorization logics
• Spatial and epistemic modalities in constraint-based process calculi
• Specifying proof systems in linear logic with subexponentials
• Timed default concurrent constraint programming
• Types for Proofs and Programs

Cited in

(12)

• On subexponentials, focusing and modalities in concurrent systems
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• A secure non-monotonic soft concurrent constraint language
• Logic Programming
• Subexponential concurrent constraint programming
• On concurrent behaviors and focusing in linear logic
• Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
• Models and emerging trends of concurrent constraint programming
• Demand transformation analysis for concurrent constraint programs
• Proving concurrent constraint programming correct, revisited
• Verification of spatial and temporal modalities in biochemical systems
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

Describes a project that uses

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)