2092 search results - page 31 / 419 » A Theory of Non-Deterministic Networks |
64
Voted
MOBIHOC
2004
ACM
15 years 9 months ago
2004
ACM
IANDC
2008
14 years 9 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
86
Voted
SASO
2007
IEEE
15 years 4 months ago
2007
IEEE
The study of synchronization has received much attention in a variety of applications, ranging from coordinating sensors in wireless networks to models of fireflies flashing in...
CONCUR
2005
Springer
15 years 3 months ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
142
click to vote
Book
This book is aimed at senior undergraduates and graduate students in Engineering, Science, Mathematics, and Computing. It expects familiarity with calculus, probability theory, and...