Safety-liveness exclusion in distributed computing (Q2796260)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Safety-liveness exclusion in distributed computing |
scientific article; zbMATH DE number 6560061
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Safety-liveness exclusion in distributed computing |
scientific article; zbMATH DE number 6560061 |
Statements
23 March 2016
0 references
concurrency
0 references
consensus
0 references
impossibility results
0 references
liveness
0 references
safety
0 references
transactional memory
0 references
0.88119256
0 references
0.88031036
0 references
0.87233174
0 references
0 references
0.86865747
0 references
0.8581905
0 references
0.85659474
0 references
Safety-liveness exclusion in distributed computing (English)
0 references
