A Discrete Geometric Model of Concurrent Program Execution (Q2971172): Difference between revisions

@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Algebraic_VCs
@@ Property / describes a project that uses: Algebraic_VCs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2570187344
@@ Property / OpenAlex ID: W2570187344 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal hierarchy of weak memory models
@@ Property / cites work: A formal hierarchy of weak memory models / rank @@
+Normal rank
@@ Property / cites work @@
+Building program construction and verification tools from algebraic principles
+Normal rank
@@ Property / cites work @@
+Power structures
@@ Property / cites work: Power structures / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics for concurrent separation logic
@@ Property / cites work: A semantics for concurrent separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+LSCs: Breathing life into message sequence charts
@@ Property / cites work: LSCs: Breathing life into message sequence charts / rank @@
+Normal rank
@@ Property / cites work @@
+A Program Construction and Verification Tool for Separation Logic
+Normal rank
@@ Property / cites work @@
+The validity of equations of complex algebras
@@ Property / cites work: The validity of equations of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank
@@ Property / cites work @@
+On Locality and the Exchange Law for Concurrent Processes
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene algebra and its foundations
@@ Property / cites work: Concurrent Kleene algebra and its foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Developments in concurrent Kleene algebra
@@ Property / cites work: Developments in concurrent Kleene algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+On the relation between concurrent separation logic and concurrent Kleene algebra
+Normal rank
@@ Property / cites work @@
+On powerdomains and modality
@@ Property / cites work: On powerdomains and modality / rank @@
+Normal rank