Q4499161 (Q4499161): Difference between revisions

@@ Property / describes a project that uses @@
+APS-1
@@ Property / describes a project that uses: APS-1 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+APS
@@ Property / describes a project that uses: APS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Some problems in the theories of automata and artificial intelligence
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Computations in APS
@@ Property / cites work: Computations in APS / rank @@
+Normal rank
@@ Property / cites work @@
+A general theory of action languages
@@ Property / cites work: A general theory of action languages / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Truly concurrent constraint programming
@@ Property / cites work: Truly concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations
+Normal rank