Fast and compact self-stabilizing verification, computation, and fault detection of an MST (Q498670): Difference between revisions

← Older edit

@@ aliases / en / 0 / aliases / en / 0 @@
+Fast and compact self stabilizing verification, computation, and fault detection of an MST
@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6481672
@@ Property / title @@
+Fast and compact self stabilizing verification, computation, and fault detection of an MST (English)
+Normal rank
@@ Property / zbMATH Open document ID @@
+.68348
@@ Property / zbMATH Open document ID: 1321.68348 / rank @@
+Normal rank
@@ Property / DOI @@
+.1145/1993806.1993866
@@ Property / DOI: 10.1145/1993806.1993866 / rank @@
+Normal rank
@@ Property / published in @@
+Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
+Normal rank
@@ Property / publication date @@
+September 2015Timestamp +2015-09-11T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2015-09-11T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 11 September 2015 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+R10
@@ Property / Mathematics Subject Classification ID: 68R10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+W01
@@ Property / Mathematics Subject Classification ID: 68W01 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6481672
@@ Property / zbMATH DE Number: 6481672 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\textsc{MST}
@@ Property / zbMATH Keywords: \textsc{MST} / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distributed algorithms
@@ Property / zbMATH Keywords: distributed algorithms / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distributed verification
@@ Property / zbMATH Keywords: distributed verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fault detection
@@ Property / zbMATH Keywords: fault detection / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+local proof checking
@@ Property / zbMATH Keywords: local proof checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+self stabilization
@@ Property / zbMATH Keywords: self stabilization / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2019402200
@@ Property / OpenAlex ID: W2019402200 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07800
@@ Property / arXiv ID: 1512.07800 / rank @@
+Normal rank

Latest revision as of 13:54, 29 April 2024

scientific article; zbMATH DE number 6481672

Fast and compact self stabilizing verification, computation, and fault detection of an MST

Language	Label	Description	Also known as
English	Fast and compact self-stabilizing verification, computation, and fault detection of an MST	scientific article; zbMATH DE number 6481672	Fast and compact self stabilizing verification, computation, and fault detection of an MST