Concurrency by default: using permissions to express dataflow in stateful programs

Sven Stork, Paulo Marques, Jonathan Aldrich. Concurrency by default: using permissions to express dataflow in stateful programs. In Shail Arora, Gary T. Leavens, editors, Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA. pages 933-940, ACM, 2009. [doi]

Authors

Sven Stork

This author has not been identified. Look up 'Sven Stork' in Google

Paulo Marques

This author has not been identified. Look up 'Paulo Marques' in Google

Jonathan Aldrich

This author has not been identified. Look up 'Jonathan Aldrich' in Google