Finite-state concurrent programs can be expressed in pairwise normal form (Q5964014): Difference between revisions

@@ 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.1016/j.tcs.2015.11.032
+Normal rank
@@ Property / OpenAlex ID @@
+W2186142421
@@ Property / OpenAlex ID: W2186142421 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270054
@@ Property / cites work: Q4270054 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of large dynamic concurrent programs from dynamic specifications
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Concurrent Time-Stamping
@@ Property / cites work: Bounded Concurrent Time-Stamping / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+Eventually-serializable data services
@@ Property / cites work: Eventually-serializable data services / rank @@
+Normal rank
@@ Property / cites work @@
+Simple extensions of 1-writer atomic variable constructions to multiwriter ones
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal multi-writer multi-reader atomic register
@@ Property / cites work: Optimal multi-writer multi-reader atomic register / 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 @@
+How to share concurrent wait-free variables
@@ Property / cites work: How to share concurrent wait-free variables / rank @@
+Normal rank
@@ Property / cites work @@
+Optimality of wait-free atomic multiwriter variables
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Software transactional memory
@@ Property / cites work: Software transactional memory / rank @@
+Normal rank
@@ Property / cites work @@
+The elusive atomic register
@@ Property / cites work: The elusive atomic register / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5964014