Sciweavers

2612 search results - page 75 / 523
» Mobile Processes and Termination
Sort
View
PROCOMET
1998
14 years 11 months ago
Imperative objects and mobile processes
Josva Kleist, Davide Sangiorgi
ENTCS
2006
98views more  ENTCS 2006»
14 years 10 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»
14 years 10 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»
14 years 10 months ago
Types for ambient and process mobility
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...