The following pages link to The Logic of Bunched Implications (Q4262604):
Displaying 50 items.
- Bunched sequential information (Q266883) (← links)
- A logic of separating modalities (Q290917) (← links)
- Developments in concurrent Kleene algebra (Q299202) (← links)
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- Abstract categorical semantics for resourceful functional reactive programming (Q338619) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- Preface to the special volume (Q534064) (← links)
- Disjunction property and complexity of substructural logics (Q549720) (← links)
- Inter-process buffers in separation logic with rely-guarantee (Q613139) (← links)
- Fine-grained concurrency with separation logic (Q763473) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- A calculus and logic of resources and processes (Q855007) (← links)
- A semantics for concurrent separation logic (Q879367) (← links)
- Resources, concurrency, and local reasoning (Q879368) (← links)
- Relational separation logic (Q879369) (← links)
- A calculus and logic of bunched resources and processes (Q906271) (← links)
- Adjunct elimination in context logic for trees (Q964499) (← links)
- Algebra and logic for access control (Q968301) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- A coordination approach to mobile components (Q1770368) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- A spatial logic for concurrency. II (Q1881257) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- Bunched logics displayed (Q1935559) (← links)
- Expressing second-order sentences in intuitionistic dependence logic (Q1956373) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- An adaptation-complete proof system for local reasoning about cloud storage systems (Q2072067) (← links)
- Decision problems in a logic for reasoning about reconfigurable distributed systems (Q2104556) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Separation logic and logics with team semantics (Q2172820) (← links)
- Focused proof-search in the logic of bunched implications (Q2233409) (← links)
- Normal proofs, cut free derivations and structural rules (Q2259009) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- Uniqueness logic (Q2368939) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras (Q2695343) (← links)
- Some modal and temporal translations of generalized basic logic (Q2695352) (← links)
- Intuitionistic Layered Graph Logic (Q2817944) (← links)
- Local Reasoning about Data Update (Q2864149) (← links)
- Manipulating Trees with Hidden Labels (Q2864150) (← links)
- Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic (Q2864163) (← links)
- Hybridizing a Logical Framework (Q2867954) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- The Essence of Higher-Order Concurrent Separation Logic (Q2988664) (← links)
