Skip to content
<title>Channels - Barriers in Concurrent Separation Logic: Now With Tool Support! :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Barriers in Concurrent Separation Logic: Now With Tool Support!
Search for more channels:
Similar Items: Barriers in Concurrent Separation Logic: Now With Tool Support!
Channel Options
View Record
Explore related channels
Quick Look
Independence and concurrent separation logic
Quick Look
Permission-Based Separation Logic for Message-Passing Concurrency
Quick Look
Separability in the Ambient Logic
Quick Look
Logical Concurrency Control from Sequential Proofs
Quick Look
Relational Parametricity and Separation Logic
Quick Look
Amortised Resource Analysis with Separation Logic
Quick Look
Stone-Type Dualities for Separation Logics
Quick Look
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
Quick Look
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
Quick Look
Separating Regular Languages with First-Order Logic
Quick Look
Covering and separation for logical fragments with modular predicates
Quick Look
The Relationship Between Separation Logic and Implicit Dynamic Frames
Quick Look
Two for the Price of One: Lifting Separation Logic Assertions
Quick Look
Permission-Based Separation Logic for Multithreaded Java Programs
Quick Look
A Complete Axiomatisation for Quantifier-Free Separation Logic
Quick Look
Sculptures in Concurrency
Quick Look
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Quick Look
Recursive Concurrent Stochastic Games
Quick Look
A Concurrent Pattern Calculus
Quick Look
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
Quick Look
Concurrency and Probability: Removing Confusion, Compositionally
Quick Look
Concurrent Process Histories and Resource Transducers
Quick Look
Pure Nash Equilibria in Concurrent Deterministic Games
Quick Look
A Truly Concurrent Semantics for Reversible CCS
Load more items
View Record
Prev
Explore related channels
Next
