Concurrent abstract state machines (Q303691): Difference between revisions

@@ Property / describes a project that uses @@
+CoreASM
@@ Property / describes a project that uses: CoreASM / 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/s00236-015-0249-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2205449728
@@ Property / OpenAlex ID: W2205449728 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59470221
@@ Property / Wikidata QID: Q59470221 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4873995
@@ Property / cites work: Q4873995 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331844
@@ Property / cites work: Q4331844 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract state machines capture parallel algorithms
+Normal rank
@@ Property / cites work @@
+Ordinary interactive small-step algorithms, I
@@ Property / cites work: Ordinary interactive small-step algorithms, I / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinary interactive small-step algorithms, II
@@ Property / cites work: Ordinary interactive small-step algorithms, II / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinary interactive small-step algorithms, III
@@ Property / cites work: Ordinary interactive small-step algorithms, III / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract state machines capture parallel algorithms
+Normal rank
@@ Property / cites work @@
+Interactive Small-Step Algorithms I: Axiomatization
+Normal rank
@@ Property / cites work @@
+Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
+Normal rank
@@ Property / cites work @@
+The ASM refinement method
@@ Property / cites work: The ASM refinement method / rank @@
+Normal rank
@@ Property / cites work @@
+Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
+Normal rank
@@ Property / cites work @@
+A new solution of Dijkstra's concurrent programming problem
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q5294158
@@ Property / cites work: Q5294158 / rank @@
+Normal rank
@@ Property / cites work @@
+A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
+Normal rank
@@ Property / cites work @@
+System modelling with high-level Petri nets
@@ Property / cites work: System modelling with high-level Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413688
@@ Property / cites work: Q4413688 / 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 @@
+Sequential abstract-state machines capture sequential algorithms
+Normal rank
@@ Property / cites work @@
+Q2753706
@@ Property / cites work: Q2753706 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial updates
@@ Property / cites work: Partial updates / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348471
@@ Property / cites work: Q4348471 / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
+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 @@
+Q4385544
@@ Property / cites work: Q4385544 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077363
@@ Property / cites work: Q3077363 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075232
@@ Property / cites work: Q3075232 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2742791
@@ Property / cites work: Q2742791 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/acta/BorgerS16
@@ Property / DBLP publication ID: journals/acta/BorgerS16 / rank @@
+Normal rank