Sciweavers

9518 search results - page 152 / 1904
» On Mobility of Software Processes
Sort
View
ICDCSW
2000
IEEE
15 years 8 months ago
Secure Information Flow in Mobile Bootstrapping Process
Zhaoyu Liu, M. Dennis Mickunas, Roy H. Campbell
CAV
2008
Springer
130views Hardware» more  CAV 2008»
15 years 6 months ago
A Hybrid Type System for Lock-Freedom of Mobile Processes
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
Naoki Kobayashi, Davide Sangiorgi
PROCOMET
1998
15 years 5 months ago
Imperative objects and mobile processes
Josva Kleist, Davide Sangiorgi