Sciweavers

2612 search results - page 75 / 523
» Mobile Processes and Termination
Sort
View
PROCOMET
1998
13 years 9 months ago
Imperative objects and mobile processes
Josva Kleist, Davide Sangiorgi
ENTCS
2006
98views more  ENTCS 2006»
13 years 7 months ago
A Petri Net Semantics of a Simple Process Algebra for Mobility
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
JISE
2006
67views more  JISE 2006»
13 years 7 months ago
Mobile Real-Time Read-Only Transaction Processing in Broadcast Disks
Hongya Wang, Guo-Qin Ning, Guohui Li, Kam-yiu Lam
MSCS
2008
93views more  MSCS 2008»
13 years 7 months ago
Types for ambient and process mobility
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...