A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis (Q313981): Difference between revisions

@@ Property / cites work @@
+Sequential abstract-state machines capture sequential algorithms
+Normal rank
@@ Property / cites work @@
+Q2753663
@@ Property / cites work: Q2753663 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract state machines capture parallel algorithms
+Normal rank
@@ Property / cites work @@
+Abstract state machines capture parallel algorithms
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent abstract state machines
@@ Property / cites work: Concurrent abstract state machines / 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 @@
+Foundational Analyses of Computation
@@ Property / cites work: Foundational Analyses of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Small-Step Algorithms I: Axiomatization
+Normal rank
@@ Property / cites work @@
+Q3077363
@@ Property / cites work: Q3077363 / rank @@
+Normal rank
@@ Property / cites work @@
+Metafinite model theory
@@ Property / cites work: Metafinite model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075232
@@ Property / cites work: Q3075232 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of information and knowledge systems. 7th international symposium, FoIKS 2012, Kiel, Germany, March 5--9, 2012. Proceedings
+Normal rank
@@ Property / cites work @@
+A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
+Normal rank
@@ Property / cites work @@
+Q4385522
@@ Property / cites work: Q4385522 / rank @@
+Normal rank
@@ Property / cites work @@
+On elementary equivalence for equality-free logic
@@ Property / cites work: On elementary equivalence for equality-free logic / rank @@
+Normal rank