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. 933-940 2009 OOPSLA Companion http://doi.acm.org/10.1145/1639950.1640060 conf/oopsla/2009c db/conf/oopsla/oopsla2009c.html#StorkMA09