Topological Aspects of Hybrid Processes (Q5262960): Difference between revisions

@@ Property / author @@
+Pieter J. L. Cuijpers
@@ Property / author: Pieter J. L. Cuijpers / rank @@
+Normal rank
@@ Property / author @@
+Michel Reniers
@@ Property / author: Michel Reniers / 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.1016/j.entcs.2005.12.080
+Normal rank
@@ Property / OpenAlex ID @@
+W1523823619
@@ Property / OpenAlex ID: W1523823619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5722776
@@ Property / cites work: Q5722776 / 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 @@
+Q5620550
@@ Property / cites work: Q5620550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847419
@@ Property / cites work: Q2847419 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid process algebra
@@ Property / cites work: Hybrid process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q5520521
@@ Property / cites work: Q5520521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3708229
@@ Property / cites work: Q3708229 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid I/O automata.
@@ Property / cites work: Hybrid I/O automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4796539
@@ Property / cites work: Q4796539 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
+Normal rank
@@ Property / cites work @@
+Syntax and consistent equation semantics of hybrid Chi
+Normal rank
@@ Property / cites work @@
+Q2701735
@@ Property / cites work: Q2701735 / rank @@
+Normal rank