Separation Logic Semantics for Communicating Processes

Electronic Notes in Theoretical Computer Science

Volumn 212, Issue C, 2008, Pages 3-25

  Hoare, Tony ^a   O'Hearn, Peter ^b  

^a MICROSOFT RESEARCH   (United States)

^b QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Communicating Sequential Processes; Concurrency; Semantics of Programming Languages; Separation Logic

Indexed keywords

CHANNEL CAPACITY; COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; FORMAL LOGIC;

COMMUNICATING SEQUENTIAL PROCESSES; SEMANTICS OF PROGRAMMING LANGUAGES; SEPARATION LOGIC;

SEMANTICS;

EID: 43049146570     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.04.050     Document Type: Article

References (26)

1. M. Berger, K. Honda, and N. Yoshida. Sequentiality and the pi-calculus. In TLCA, pages 29-45, 2001
2. R. Bornat, C. Calcagno, P. O'Hearn, and M. Parkinson. Permission accounting in separation logic. In 32nd POPL, pp. 59-70, 2005
3. S.D. Brookes. Traces, pomsets, fairness and full abstraction for communicating processes. In 13th CONCUR, pages 466-482, 2002
4. Brookes S.D. A semantics of concurrent separation logic. Theoretical Computer Science 375 1-3 (2007) 227-270 (Preliminary version appeared in CONCUR'04, LNCS 3170, pp. 16-34)
5. C. Calcagno, P. Gardner, and U. Zarfaty. Context logic as modal logic: completeness and parametric inexpressivity. In 34th POPL, pages 123-134, 2007
6. C. Calcagno, P. O'Hearn, and H. Yang. Local action and abstract separation logic. In 22nd LICS, pp. 366-378, 2007
7. M. Carbone, K. Honda, and N. Yoshida. Structured communication-centred programming for web services. In 16th ESOP, pages 2-17, 2007
8. Cardelli L., and Caires L. A spatial logic for concurrency. 4th International Symposium on Theoretical Aspects of Computer Science. LNCS 2255 (2001), Springer 1-37
9. L. Cardelli and A. D. Gordon. Anytime, anywhere. modal logics for mobile ambients. In 27th POPL, 2000
10. Chaochen Z., Hoare C.A.R., and Ravn A.P. A calculus of durations. Inform. Proc. Letters 40 5 (1991) 269-276
11. Hoare C.A.R. Communicating Sequential Processes (1985), Prentice Hall
12. K. Honda, V. Vasconcelos, and M. Kubo. Language primitives and type discipline for structured communication-based programming. In 7th ESOP, pages 122-138, 1998
13. Kobayashi N., Pierce B.C., and Turner D.N. Linearity and the pi-calculus. ACM TOPLAS 21 5 (1999) 914-947
14. Inmos Limited. occam 2.1 reference manual. Technical Report, Inmos Limited, May 1995
15. Milner R. The polyadic pi-calculus: a tutorial. In: Bauer F.L., Brauer W., and Schwichtenberg H. (Eds). Logic and Algebra of Specification (1993), Springer-Verlag 203-246
16. Moszkowski B., and Manna Z. Reasoning in interval temporal logic. Proceedings of the Workshop on Logics of Programs. LNCS volume 164 (1983) 371-382
17. P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In 15th CSL, pp. 1-19, 2001
18. O'Hearn P.W. Resources, concurrency and local reasoning. Theoretical Computer Science 375 1-3 (2007) 271-307 (Preliminary version appeared in CONCUR'04, LNCS 3170, pp. 49-67)
19. O'Hearn P.W., and Pym D.J. The logic of bunched implications. Bulletin of Symbolic Logic 5 2 (June 1999) 215-244
20. Pym D., and Tofts C. A calculus and logic of resources and processes. Formal Asp. of Comput. 18 4 (2006) 495-517
21. Pym D.J. The Semantics and Proof Theory of the Logic of Bunched Implications. Applied Logic Series (2002), Kluwer Academic Publishers
22. M. Raza and P. Gardner. Footprints in local reasoning. In 11th FOSSACS, 2008
23. Roscoe A.W. The Theory and Practice of Concurrency (1997), Prentice Hall
24. Routley R., and Meyer R.K. The semantics of entailment. In: Leblanc H. (Ed). Truth, Syntax, and Modality (1973), North-Holland, Amsterdam 194-243
25. Takeuchi K., Honda K., and Kubo M. An interaction-based language and its typing system. 6th PARLE. LNCS 817 (1994), Springer 398-413
26. Welch P.H., and Barnes F.R.M. Communicating mobile processes: introducing occam-pi. In: Abdallah A.E., Jones C.B., and Sanders J.W. (Eds). 25 Years of CSP. LNCS volume 3525 (April 2005), Springer Verlag 175-210