asynchronous computability theorem

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:describes conditions for solvability of distributed tasks in asynchronous systems
gptkbp:field computer science
distributed computing
https://www.w3.org/2000/01/rdf-schema#label asynchronous computability theorem
gptkbp:introduced gptkb:Maurice_Herlihy
gptkb:Dmitry_Kozlov
gptkb:Sergio_Rajsbaum
gptkbp:introducedIn 2013
gptkbp:publishedIn gptkb:Proceedings_of_the_2013_ACM_Symposium_on_Principles_of_Distributed_Computing
gptkbp:relatedTo topological methods in distributed computing
wait-free computation
gptkbp:bfsParent gptkb:Eli_Gafni
gptkbp:bfsLayer 5