HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour (Q3184681): Difference between revisions

@@ Property / cites work @@
+Compositional modeling and refinement for hierarchical hybrid systems
+Normal rank
@@ Property / cites work @@
+Q4413206
@@ Property / cites work: Q4413206 / 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 @@
+On Simulations and Bisimulations of General Flow Systems
+Normal rank
@@ Property / cites work @@
+HYPE Applied to the Modelling of Hybrid Biological Systems
+Normal rank
@@ Property / cites work @@
+Modular and visual specification of hybrid systems: An introduction to HyCharts
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for dynamical, control, and hybrid systems
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid action systems
@@ Property / cites work: Hybrid action systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418858
@@ Property / cites work: Q4418858 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparison of hybrid systems and fluid stochastic Petri nets
+Normal rank
@@ Property / cites work @@
+Syntax and consistent equation semantics of hybrid Chi
+Normal rank