A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines (Q2117610): 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.1007/978-3-030-76020-5_18
+Normal rank
@@ Property / OpenAlex ID @@
+W3167930107
@@ Property / OpenAlex ID: W3167930107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753703
@@ Property / cites work: Q2753703 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729905
@@ Property / cites work: Q2729905 / rank @@
+Normal rank
@@ Property / cites work @@
+The abstract state machines method for modular design and analysis of programming languages
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+SIMULA: an ALGOL-based simulation language
@@ Property / cites work: SIMULA: an ALGOL-based simulation language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413693
@@ Property / cites work: Q4413693 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of context-free languages
@@ Property / cites work: Semantics of context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive functions of symbolic expressions and their computation by machine, Part I
+Normal rank
@@ Property / cites work @@
+An overview of the K semantic framework
@@ Property / cites work: An overview of the K semantic framework / rank @@
+Normal rank
@@ Property / cites work @@
+Q2742791
@@ Property / cites work: Q2742791 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines 2004. Advances in Theory and Practice
+Normal rank
@@ Property / cites work @@
+Q4520500
@@ Property / cites work: Q4520500 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737559
@@ Property / cites work: Q4737559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank