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

@@ Property / DOI @@
-.1016/j.tcs.2016.08.013
@@ Property / DOI: 10.1016/j.tcs.2016.08.013 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q05
@@ Property / Mathematics Subject Classification ID: 68Q05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q10
@@ Property / Mathematics Subject Classification ID: 68Q10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+W10
@@ Property / Mathematics Subject Classification ID: 68W10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6626490
@@ Property / zbMATH DE Number: 6626490 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+parallel algorithm
@@ Property / zbMATH Keywords: parallel algorithm / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+abstract state machine
@@ Property / zbMATH Keywords: abstract state machine / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+ASM thesis
@@ Property / zbMATH Keywords: ASM thesis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+behavioural theory
@@ Property / zbMATH Keywords: behavioural theory / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2100307158
@@ Property / OpenAlex ID: W2100307158 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06203
@@ Property / arXiv ID: 1504.06203 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.TCS.2016.08.013
@@ Property / DOI: 10.1016/J.TCS.2016.08.013 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:313981