Publications

Papers

A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation. Daisuke Hoshina, Eijiro Sumii, and Akinori Yonezawa. To appear in Proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001), Tohoku University, Sendai, Japan, October 28-31, 2001 (Lecture Notes in Computer Science, vol. 2215), pp. 64-81. (.pdf, abstract)

Theses

A Strudy on A Type Process Calculus for Access Control in Distributed Computation. Daisuke Hoshina. Master Thesis. Department of Computer Science, Graduate School of Science, University of Tokyo. February 2001. 79 pages.