246 search results - page 8 / 50 » A Proof System for Asynchronously Communicating Deterministi... |
153
click to vote
PODC
1997
ACM
15 years 10 months ago
1997
ACM
Conditions on a shared object type T are given that are both necessary and sufficient for wait-free n-process consensus to be solvable using objects of type T and registers. The co...
143
click to vote
FTCS
1993
15 years 7 months ago
1993
Failure detectors (or, more accurately Failure Suspectors { FS) appear to be a fundamental service upon which to build fault-tolerant, distributed applications. This paper shows t...
157
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Discourse, a form of collaborative learning [44], is one of the most widely used methods of teaching and learning in the online environment. Particularly in large courses, discour...
159
click to vote
TC
2002
15 years 5 months ago
2002
This paper describes a group communication system called the timewheel group communication system that has been designed for a timed asynchronous distributed system model. The tim...
206
click to vote
FMOODS
2007
15 years 7 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...