Simulation, reduction and preservation of correctness properties of parallel systems (Q1054477): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0020-0190(83)90086-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1971109176
@@ Property / OpenAlex ID: W1971109176 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187298
@@ Property / cites work: Q4187298 / rank @@
+Normal rank
@@ Property / cites work @@
+Homomorphisms between models of parallel computation
+Normal rank
@@ Property / cites work @@
+Q4055201
@@ Property / cites work: Q4055201 / rank @@
+Normal rank
@@ Property / cites work @@
+On reduction of asynchronous systems
@@ Property / cites work: On reduction of asynchronous systems / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction
@@ Property / cites work: Reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733399
@@ Property / cites work: Q4733399 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939208
@@ Property / cites work: Q3939208 / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of parallel programs: The Church-Rosser approach
+Normal rank