Sciweavers

77
Voted
APLAS
2006
ACM
15 years 16 days ago
A Modal Language for the Safety of Mobile Values
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...
Sungwoo Park