CONCUR 2004 - Concurrency Theory

DOI10.1007/B100113zbMATH Open1099.68650OpenAlexW2499482941MaRDI QIDQ5311481FDOQ5311481

Authors: Stephen Brookes 

Publication date: 23 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100113

Recommendations

• A semantics for concurrent separation logic
• Concurrent separation logic and operational semantics
• Revisiting concurrent separation logic
• Separation logic and concurrency
• A separation logic for a promising semantics
• The essence of higher-order concurrent separation logic
• A game semantics of concurrent separation logic
• A separation logic for refining concurrent objects
• Oracle Semantics for Concurrent Separation Logic
• An asynchronous soundness theorem for concurrent separation logic

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (55)

• Barriers in concurrent separation logic: now with tool support!
• Automatic Parallelization with Separation Logic
• Oracle Semantics for Concurrent Separation Logic
• Formal verification of a Java component using the RESOLVE framework
• An asynchronous soundness theorem for concurrent separation logic
• \textsc{SecCSL}: security concurrent separation logic
• Precision and the conjunction rule in concurrent separation logic
• Concise outlines for a complex logic: a proof outline checker for TaDA
• Separation Logic Contracts for a Java-Like Language with Fork/Join
• Title not available (Why is that?)
• On grainless footprint semantics for shared-memory programs
• A semantics for concurrent separation logic
• Non-preemptive semantics for data-race-free programs
• A revisionist history of concurrent separation logic
• Permission accounting in separation logic
• Bringing Order to the Separation Logic Jungle
• Retracing CSP
• Convolution as a Unifying Concept
• Syntactic control of interference and concurrent separation logic
• Concurrent separation logic and operational semantics
• Resource separation in dynamic logic of propositional assignments
• Resources, concurrency, and local reasoning
• Concurrent Separation Logic Meets Template Games
• Independence and concurrent separation logic
• A separation logic for a promising semantics
• Concurrent separation logic for pipelined parallelization
• Barriers in Concurrent Separation Logic
• Order out of chaos: proving linearizability using local views
• Separation logic and concurrency
• Parameterized Memory Models and Concurrent Separation Logic
• ColoSL: concurrent local subjective logic
• Abstraction for concurrent objects
• Separation Logic Semantics for Communicating Processes
• Impredicative concurrent abstract predicates
• Certifying low-level programs with hardware interrupts and preemptive threads
• Inter-process buffers in separation logic with rely-guarantee
• Fine-grained concurrency with separation logic
• Step-indexed Kripke model of separation logic for storable locks
• Permission-based separation logic for message-passing concurrency
• Communicating state transition systems for fine-grained concurrent resources
• Revisiting concurrent separation logic
• Syntactic control of interference for separation logic
• Logics and Bisimulation Games for Concurrency, Causality and Conflict
• Subjective auxiliary state for coarse-grained concurrency
• A grainless semantics for parallel programs with shared mutable data
• Variables as resource for shared-memory programs: semantics and soundness
• Fault-tolerant resource reasoning
• Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems
• Expressing the behavior of three very different concurrent systems by using natural extensions of separation logic
• Local Reasoning for Storable Locks and Threads
• Type soundness and race freedom for Mezzo
• Granularity and concurrent separation logic
• Interactive proofs in higher-order concurrent separation logic
• A game semantics of concurrent separation logic
• Fairness, resources, and separation

This page was built for publication: CONCUR 2004 - Concurrency Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5311481)