Event-based proof of the mutual exclusion property of Peterson's algorithm (Q271900): Difference between revisions

@@ Property / DOI @@
-.1515/forma-2015-0026
@@ Property / DOI: 10.1515/forma-2015-0026 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M14
@@ Property / Mathematics Subject Classification ID: 68M14 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+W15
@@ Property / Mathematics Subject Classification ID: 68W15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B35
@@ Property / Mathematics Subject Classification ID: 03B35 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6570928
@@ Property / zbMATH DE Number: 6570928 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distributed system
@@ Property / zbMATH Keywords: distributed system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+parallel computing
@@ Property / zbMATH Keywords: parallel computing / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algorithm
@@ Property / zbMATH Keywords: algorithm / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+verification
@@ Property / zbMATH Keywords: verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+mathematical model
@@ Property / zbMATH Keywords: mathematical model / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1515/forma-2015-0026
+Normal rank
@@ Property / OpenAlex ID @@
+W2313864317
@@ Property / OpenAlex ID: W2313864317 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256353
@@ Property / cites work: Q4256353 / rank @@
+Normal rank
@@ Property / cites work @@
+Mizar: State-of-the-art and Beyond
@@ Property / cites work: Mizar: State-of-the-art and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+On interprocess communication. I: Basic formalism
@@ Property / cites work: On interprocess communication. I: Basic formalism / rank @@
+Normal rank
@@ Property / cites work @@
+Myths about the mutual exclusion problem
@@ Property / cites work: Myths about the mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Operational Reasoning for Concurrent Caml Programs and Weak Memory Models
+Normal rank
@@ Property / cites work @@
+Q5203581
@@ Property / cites work: Q5203581 / rank @@
+Normal rank
@@ Property / DOI @@
+.1515/FORMA-2015-0026
@@ Property / DOI: 10.1515/FORMA-2015-0026 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:271900