Sciweavers

2243 search results - page 51 / 449
» Contracts for Mobile Processes
Sort
View
99
Voted
PROCOMET
1998
15 years 4 months ago
Imperative objects and mobile processes
Josva Kleist, Davide Sangiorgi
ENTCS
2006
98views more  ENTCS 2006»
15 years 3 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»
15 years 3 months ago
Mobile Real-Time Read-Only Transaction Processing in Broadcast Disks
Hongya Wang, Guo-Qin Ning, Guohui Li, Kam-yiu Lam