Linearization of hybrid processes (Q2368694): Difference between revisions

@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid I/O automata.
@@ Property / cites work: Hybrid I/O automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for hybrid systems
@@ Property / cites work: Process algebra for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid process algebra
@@ Property / cites work: Hybrid process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to hybrid dynamical systems
@@ Property / cites work: An introduction to hybrid dynamical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Topological Aspects of Hybrid Processes
@@ Property / cites work: Topological Aspects of Hybrid Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Linearization in parallel pCRL
@@ Property / cites work: Linearization in parallel pCRL / rank @@
+Normal rank
@@ Property / cites work @@
+From ATP to timed graphs and hybrid systems
@@ Property / cites work: From ATP to timed graphs and hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of bisimulation and congruence formats for SOS with data
+Normal rank
@@ Property / cites work @@
+Linearization of hybrid processes
@@ Property / cites work: Linearization of hybrid processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727367
@@ Property / cites work: Q3727367 / rank @@
+Normal rank