Permission-Based Separation Logic for Message-Passing Concurrency

DOI10.2168/LMCS-7(3:7)2011zbMath1237.68061OpenAlexW3103866264MaRDI QIDQ3224673

Vladimiro Sassone, Adrian Francalanza, Julian Rathke

Publication date: 2 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-7(3:7)2011

zbMATH Keywords

process calculiseparation logicdeterministic concurrencymessage-passing concurrent programs

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

Uses Software

• Erlang

This page was built for publication: Permission-Based Separation Logic for Message-Passing Concurrency