scientific article; zbMATH DE number 7075927

zbMath1409.68047MaRDI QIDQ4967227

Michel Raynal

Publication date: 3 July 2019

Full work available at URL: http://bulletin.eatcs.org/index.php/beatcs/article/view/482/467

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

speculative executioncomputabilityconsensusatomic operationscrash failuredisjoint-access parallelismuniversal constructionwait-freedom\(k\)-set agreement\(k\)-simultaneous consensusasynchronous read/write systemobstruction-freedomconcurrent objectagreement problemnon-blockingmemory locationprogress conditionsequential specificationabortable objecthelp mechanismLL/SC instruction

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (1)

Extending the wait-free hierarchy to multi-threaded systems

This page was built for publication: