A High-Level Language for Modeling Algorithms and Their Properties (Q2999308): Difference between revisions

@@ Property / describes a project that uses @@
+TLAPS
@@ Property / describes a project that uses: TLAPS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1599102381
@@ Property / OpenAlex ID: W1599102381 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Checking a Multithreaded Algorithm with  + CAL
@@ Property / cites work: Checking a Multithreaded Algorithm with + CAL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Myths about the mutual exclusion problem
@@ Property / cites work: Myths about the mutual exclusion problem / rank @@
+Normal rank