A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation. - Daisuke Hoshina; Eijiro Sumii; Akinori Yonezawa (TACS, 2001)