Keyword: Distributed tasks : Search

Applied Filters

Publications

Publication Date

2 Results for: Keyword: Distributed tasksEdit SearchSave SearchRSS

Searched The ACM Guide to Computing Literature (3,835,209 records)|Limit your search to The ACM Full-Text Collection (773,459 records)

Showing 1 - 2of2 Results

Select All

Export Citations Save to Binder

per page:

Recency

research-article
June 2023
Tasks in modular proofs of concurrent algorithms
Information and Computation (ICOM), Volume 292, Issue Chttps://doi.org/10.1016/j.ic.2023.105040
Abstract
Proving the correctness of distributed or concurrent algorithms is a complex process. Errors in the reasoning are hard to find, calling for computer-checked proof systems like Coq or TLA⁺. To use these tools, sequential specifications of base ...
1
Metrics
Total Citations1
article
December 2011
The minimum information about failures for solving non-local tasks in message-passing systems
Distributed Computing (DICO), Volume 24, Issue 5Pages 255–269https://doi.org/10.1007/s00446-011-0146-4

We first define the basic notions of local and non-local tasks for distributed systems. Intuitively, a task is local if, in a system with no failures, each process can compute its output value locally by applying some local function on its own input ...
1
Metrics
Total Citations1