ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
32
views
17
references
Top references
cited by
23
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,449
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
A semantics for concurrent separation logic
Author(s):
Stephen Brookes
Publication date
Created:
May 2007
Publication date
(Print):
May 2007
Journal:
Theoretical Computer Science
Publisher:
Elsevier BV
Read this article at
ScienceOpen
Publisher
Further versions
oa repository (via OAI-PMH doi match)
Powered by
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Most cited references
17
Record
: found
Abstract
: not found
Article
: not found
An axiomatic proof technique for parallel programs I
David Gries
,
Susan Owicki
(1976)
0
comments
Cited
85
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Monitors: an operating system structuring concept
C. Hoare
(1974)
0
comments
Cited
67
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Resources, concurrency, and local reasoning
Peter O’Hearn
(2007)
0
comments
Cited
57
times
– based on
0
reviews
Review now
Bookmark
All references
Author and article information
Journal
Title:
Theoretical Computer Science
Abbreviated Title:
Theoretical Computer Science
Publisher:
Elsevier BV
ISSN (Print):
03043975
Publication date Created:
May 2007
Publication date (Print):
May 2007
Volume
: 375
Issue
: 1-3
Pages
: 227-270
Article
DOI:
10.1016/j.tcs.2006.12.034
SO-VID:
5a004cde-b8d6-4618-9930-929d5e84f132
Copyright ©
© 2007
License:
http://www.elsevier.com/tdm/userlicense/1.0/
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
1,449
Multilanguage Semantic Interoperability in Distributed Applications
Authors:
Agostino Poggi
,
Michele Tomaiuolo
Chem2Bio2RDF: a semantic framework for linking and data mining chemogenomic and systems chemical biology data
Authors:
Bin Chen
,
Xiao Dong
,
Dazhi Jiao
…
Effects of age and school type on unconstrained, phonemic, and semantic verbal fluency in children.
Authors:
Geise Jacobsen
,
Mirella Prando
,
André Moraes
…
See all similar
Cited by
23
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
Authors:
Scott Owens
On Validity of Program Transformations in the Java Memory Model
Authors:
Jaroslav Ševčík
,
David Aspinall
Proving Copyless Message Passing
Authors:
Jules Villard
,
Etienne Lozes
,
Cristiano Calcagno
See all cited by
Most referenced authors
56
Fr. Leonardo, O. P. HANSEN
B. W. Dijkstra
B. W. Dijkstra
See all reference authors