329 search results - page 53 / 66 » Asynchronous Communication in Process Algebra |
SAC
2005
ACM
14 years 1 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
CSCW
2004
ACM
14 years 1 months ago
2004
ACM
Collaborative authoring is a common workplace task. Yet, despite improvements in word processors, communication software, and file sharing, many problems continue to plague co-aut...
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
The paper aims at illustrating the original technical solution provided within an academic institute in order to manage teaching activities, encompassing the coordination of projec...
SC
2003
ACM
14 years 27 days ago
2003
ACM
We present MRNet, a software-based multicast/reduction network for building scalable performance and system administration tools. MRNet supports multiple simultaneous, asynchronou...
SAS
2001
Springer
14 years 2 days ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...