Resources, concurrency, and local reasoning
Top Cited Papers
- 1 May 2007
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 375 (1-3) , 271-307
- https://doi.org/10.1016/j.tcs.2006.12.035
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Separation logic: a logic for shared mutable data structuresPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The Logic of Bunched ImplicationsBulletin of Symbolic Logic, 1999
- Linear logicTheoretical Computer Science, 1987
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- Verifying properties of parallel programsCommunications of the ACM, 1976
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- MonitorsCommunications of the ACM, 1974
- Structured multiprogrammingCommunications of the ACM, 1972
- Hierarchical ordering of sequential processesActa Informatica, 1971
- The nucleus of a multiprogramming systemCommunications of the ACM, 1970