Atomic actions, and their refinements to isolated protocols (Q2268472): Difference between revisions

@@ Property / describes a project that uses @@
+KIV
@@ Property / describes a project that uses: KIV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CASL
@@ Property / describes a project that uses: CASL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-009-0103-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2089894773
@@ Property / OpenAlex ID: W2089894773 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5294155
@@ Property / cites work: Q5294155 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrency and atomicity
@@ Property / cites work: Concurrency and atomicity / rank @@
+Normal rank
@@ Property / cites work @@
+Q2785807
@@ Property / cites work: Q2785807 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5294156
@@ Property / cites work: Q5294156 / rank @@
+Normal rank
@@ Property / cites work @@
+Atomic actions, and their refinements to isolated protocols
+Normal rank
@@ Property / cites work @@
+Q4436964
@@ Property / cites work: Q4436964 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274970
@@ Property / cites work: Q4274970 / rank @@
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+On the nature of events: another perspective in concurrency
+Normal rank
@@ Property / cites work @@
+Q4524764
@@ Property / cites work: Q4524764 / rank @@
+Normal rank
@@ Property / cites work @@
+ASM refinement and generalizations of forward simulation in data refinement: a comparison
+Normal rank