Daisuke Hoshina

Learn More
We propose the π D-calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation , with a type system that statically prevents access violations. Access control of resources is important in distributed computation, where resources themselves or their contents may be transmitted from one domain to(More)
  • 1