37 search results - page 3 / 8 » Termination, Deadlock and Divergence |
GLOBECOM
2006
IEEE
13 years 12 months ago
2006
IEEE
The standardization of the IMS as a multi-access network implies that it can be accessed by different classes of terminals. Even at the heart of the same class of terminals (mobile...
BIRTHDAY
2004
Springer
13 years 11 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
PVLDB
2010
13 years 4 months ago
2010
Replication is a widely used method for achieving high availability in database systems. Due to the nondeterminism inherent in traditional concurrency control schemes, however, sp...
EPEW
2006
Springer
13 years 7 months ago
2006
Springer
We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actio...
SAC
2009
ACM
13 years 10 months ago
2009
ACM
The firmware of an electronic voting machine is typically treated as a “trusted” component of the system. Consequently, it is misconstrued to be vulnerable only to an insider...