Daisuke Hoshina

  • Citations Per Year
Learn More
We propose the π-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)
Programming systems with mobile objects (or mobile agents) are becoming popular for constructing network applications. In those systems, a group of running objects can migrate across the network, which reduces communication overheads and gives more flexibility in application design. One of the problems is that most resources in those systems are not(More)
  • 1