Graphical models of separation logic
type: Item
instance of: scholarly article
title: Graphical models of separation logic
zbMATH Open document ID: 1200.68153
author: Ian Wehrman
author: Tony Hoare
author: Peter W. O'Hearn
published in: Information Processing Letters
publication date: 2010-08-20T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5773842
zbMATH Keywords: concurrency
zbMATH Keywords: formal semantics
describes a project that uses: SLMC
MaRDI profile type: Publication
full work available at URL: j.ipl.2009.06.003
OpenAlex ID: W2140718029
cites work: A spatial logic for concurrency. I
cites work: Context logic as modal logic
cites work: Q4737192
cites work: An axiomatic basis for computer programming
cites work: Q3358736
cites work: Resources, concurrency, and local reasoning
cites work: Q4783297
cites work: Q3718143
cites work: Possible worlds and resources: The semantics of \(\mathbf{BI}\)
cites work: A calculus and logic of resources and processes
cites work: Q3030239
DOI: 10.1016/J.IPL.2009.06.003
Recommended article: Tableaux and Resource Graphs for Separation Logic
Recommended article: Graphs and plausibility logic
Recommended article: A Graph-theoretic Account of Logics
Recommended article: Logical and algorithmic properties of conditional independence and graphical models
Recommended article: Graph theoretical structures in logic programs and default theories
Recommended article: Separating Graph Logic from MSO
Recommended article: On a graph approach to modal logics
Recommended article: Q4236392
description: scientific article; zbMATH DE number 5773842