References

  1. Christian J. Bell, Andrew W. Appel & David Walker (2010): Concurrent Separation Logic for Pipelined Parallelization. In: SAS, LNCS 6337, pp. 151–166. Available at http://dx.doi.org/10.1007/978-3-642-15769-1_10.
  2. Viviana Bono, Chiara Messa & Luca Padovani (2011): Typing Copyless Message Passing. In: ESOP, LNCS 6602. Springer, pp. 57–76. Available at http://dx.doi.org/10.1007/978-3-642-19718-5_4.
  3. Viviana Bono & Luca Padovani (2012): Typing Copyless Message Passing. Logical Methods in Computer Science 8(1). Available at http://dx.doi.org/10.2168/LMCS-8(1:17)2012.
  4. Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn & Matthew J. Parkinson (2005): Permission accounting in separation logic. In: POPL, pp. 259–270. Available at http://doi.acm.org/10.1145/1040305.1040327.
  5. John Boyland (2003): Checking Interference with Fractional Permissions. In: SAS, LNCS 2694, pp. 55–72. Available at http://link.springer.de/link/service/series/0558/bibs/2694/26940055.htm.
  6. Daniel Brand & Pitro Zafiropulo (1983): On Communicating Finite-State Machines. J. ACM 30(2), pp. 323–342. Available at db/journals/jacm/BrandZ83.html, http://doi.acm.org/10.1145/322374.322380.
  7. Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, James R. Larus & Steven Levi (2006): Language support for fast and reliable message-based communication in Singularity OS. In: EuroSys. ACM, pp. 177–190. Available at http://doi.acm.org/10.1145/1217935.1217953.
  8. Adrian Francalanza, Julian Rathke & Vladimiro Sassone (2011): Permission-Based Separation Logic for Message-Passing Concurrency. CoRR abs/1106.5128. Available at http://arxiv.org/abs/1106.5128.
  9. Marco Giunti (2011): A type checking algorithm for qualified session types. In: WWV, EPTCS 61, pp. 96–114. Available at http://dx.doi.org/10.4204/EPTCS.61.7.
  10. Marco Giunti & Vasco Thudichum Vasconcelos (2010): A Linear Account of Session Types in the Pi Calculus. In: CONCUR, LNCS 6269, pp. 432–446. Available at http://dx.doi.org/10.1007/978-3-642-15375-4_30.
  11. Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky & Mooly Sagiv (2007): Local Reasoning for Storable Locks and Threads. In: APLAS, LNCS 4807, pp. 19–37. Available at http://dx.doi.org/10.1007/978-3-540-76637-7_3.
  12. Aquinas Hobor & Cristian Gherghina (2011): Barriers in Concurrent Separation Logic. In: ESOP, LNCS 6602. Springer, pp. 276–296. Available at http://dx.doi.org/10.1007/978-3-642-19718-5_15.
  13. Raymond Hu, Nobuko Yoshida & Kohei Honda (2008): Session-Based Distributed Programming in Java. In: ECOOP 5142. Springer, pp. 516–541. Available at http://dx.doi.org/10.1007/978-3-540-70592-5_22.
  14. Galen C. Hunt & James R. Larus (2007): Singularity: rethinking the software stack. Operating Systems Review 41(2), pp. 37–49. Available at http://doi.acm.org/10.1145/1243418.1243424.
  15. Honda Kohei, Thudichum Vasconcelos Vasco & Kubo Makoto (1998): Language Primitives and Type Discipline for Structured Communication-Based Programming. In: ESOP, LNCS 1381, pp. 122–138. Available at http://dx.doi.org/10.1007/BFb0053567.
  16. K. Rustan M. Leino, Peter Müller & Jan Smans (2010): Deadlock-Free Channels and Locks. In: ESOP, LNCS 6012, pp. 407–426. Available at http://dx.doi.org/10.1007/978-3-642-11957-6_22.
  17. Étienne Lozes & Jules Villard (2011): Reliable Contracts for Unreliable Half-Duplex Communications. In: WS-FM, LNCS 7176. Springer, pp. 2–16. Available at http://dx.doi.org/10.1007/978-3-642-29834-9_2.
  18. Étienne Lozes & Jules Villard (2011): Sharing Contract-Obedient Endpoints. Research Report LSV-11-23. Laboratoire Spécification et Vérification, ENS Cachan, France. Available at http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/rr-lsv-2011-23.pdf. 42 pages.
  19. Massimo Merro (2000): Locality in the pi-calculus and applications to distributed objects. Ph.D. thesis. Ecole des Mines de Paris.
  20. Peter W. O'Hearn (2004): Resources, Concurrency and Local Reasoning. In: CONCUR, LNCS 3170. Springer, pp. 49–67. Available at http://dx.doi.org/10.1007/978-3-540-28644-8_4.
  21. Kaku Takeuchi, Kohei Honda & Makoto Kubo (1994): An Interaction-Based Language and its Typing System. In: PARLE 817. Springer, pp. 398–413. Available at http://dx.doi.org/10.1007/3-540-58184-7_118.
  22. Aaron Joseph Turon & Mitchell Wand (2011): A resource analysis of the pi-calculus. CoRR abs/1105.0966. Available at http://arxiv.org/abs/1105.0966.
  23. Viktor Vafeiadis (2011): Concurrent Separation Logic and Operational Semantics. Electr. Notes Theor. Comput. Sci. 276, pp. 335–351. Available at http://dx.doi.org/10.1016/j.entcs.2011.09.029.
  24. Jules Villard (2011): Heaps and Hops. Ph.D. thesis. École Normale Supérieure de Cachan.
  25. Jules Villard, Étienne Lozes & Cristiano Calcagno (2009): Proving Copyless Message Passing. In: APLAS, LNCS 5904, pp. 194–209. Available at http://dx.doi.org/10.1007/978-3-642-10672-9_15.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org