mobile computing / non-trivial distributed systems / logic systems / formal tools / host site / static type systems / linear type systems / distributed mobile computing / physical processors / /
Organization
Rensselaer Polytechnic Institute / Graduate Faculty / /
Person
David Musser / Milner / Carlos Varela / /
Position
Thesis Adviser / Representative / Actor / canonical model for concurrent computation / /
Technology
MOBILE COMPUTING / cellular telephone / Digital Cash / /
A CALCULUS FOR DISTRIBUTED MOBILE COMPUTING WITH STATIC RESOURCE ACCESS AND USAGE CONTROL By Mayuresh Kulkarni A Thesis Submitted to the Graduate