Expressive modular fine-grained concurrency specification

DOI10.1145/1926385.1926417zbMath1284.68428OpenAlexW4249110288MaRDI QIDQ5408549

Bart Jacobs, Frank Piessens

Publication date: 10 April 2014

Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/278074

zbMATH Keywords

separation logicfine-grained concurrency

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Data structures (68P05)

Related Items (8)

Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) ⋮ A perspective on specifying and verifying concurrent modules ⋮ Steps in modular specifications for concurrent modules (invited tutorial paper) ⋮ The Essence of Higher-Order Concurrent Separation Logic ⋮ Abstract Specifications for Concurrent Maps ⋮ Barriers in Concurrent Separation Logic ⋮ Concurrent Separation Logic and Operational Semantics ⋮ Unnamed Item

Uses Software

• Coq
• VCC
• VeriFast

This page was built for publication: Expressive modular fine-grained concurrency specification