246 search results - page 6 / 50 » A Proof System for Asynchronously Communicating Deterministi... |
ETS
2000
IEEE
13 years 7 months ago
2000
IEEE
Asynchronous text-based communication has long been established as having value in supporting the collaborative sharing of knowledge. However, in cases where learners or practitio...
PODC
1992
ACM
13 years 11 months ago
1992
ACM
We determine what information about failures is necessary and sufficient to solve Consensus in asynchronous distributed systems subject to crash failures. In Chandra and Toueg [199...
WDAG
1992
Springer
13 years 11 months ago
1992
Springer
Abstract. The Choice Coordination Problem with k alternatives (kCCP) was introduced by Rabin in 1982 [Rab82]. The goal is to design a wait-free protocol for n asynchronous processe...
ASIAN
1998
Springer
13 years 11 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
FTCS
1998
13 years 8 months ago
1998
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...