Sciweavers

63
Voted
ENTCS
2006
120views more  ENTCS 2006»
14 years 8 months ago
Timers for Distributed Systems
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
Gabriel Ciobanu, Cristian Prisacariu