Pages that link to "Item:Q1854410"
From MaRDI portal
The following pages link to Linear concurrent constraint programming: Operational and phase semantics (Q1854410):
Displaying 27 items.
- Dynamic spaces in concurrent constraint programming (Q281160) (← links)
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion (Q347368) (← links)
- A symbolic model for timed concurrent constraint programming (Q530859) (← links)
- Proving concurrent constraint programming correct, revisited (Q530860) (← links)
- Subexponential concurrent constraint programming (Q897936) (← links)
- LMNtal as a hierarchical logic programming language (Q1035709) (← links)
- Characterizing right inverses for spatial constraint systems with applications to modal logic (Q1786563) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568) (← links)
- Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus (Q2864372) (← links)
- A Proof Theoretic Study of Soft Concurrent Constraint Programming (Q2931271) (← links)
- Deriving Inverse Operators for Modal Logic (Q3179402) (← links)
- (Q3385648) (← links)
- Abstract interpretation of temporal concurrent constraint programs (Q4592982) (← links)
- Introduction to the special issue on computational logic for verification (Q4644352) (← links)
- A concurrent constraint programming interpretation of access permissions (Q4644356) (← links)
- Relating State-Based and Process-Based Concurrency through Linear Logic (Q4917995) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- Closures and Modules Within Linear Logic Concurrent Constraint Programming (Q5458864) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Interpolation in linear logic and related systems (Q6636617) (← links)
