Process algebra for hybrid systems (Q1781998): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2004.04.019
@@ Property / DOI: 10.1016/j.tcs.2004.04.019 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2077815947
@@ Property / OpenAlex ID: W2077815947 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552455
@@ Property / cites work: Q4552455 / rank @@
+Normal rank
@@ Property / cites work @@
+Real time process algebra
@@ Property / cites work: Real time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Real space process algebra
@@ Property / cites work: Real space process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with propositional signals
@@ Property / cites work: Process algebra with propositional signals / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760247
@@ Property / cites work: Q2760247 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with timing
@@ Property / cites work: Process algebra with timing / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of timed frames
@@ Property / cites work: Algebra of timed frames / rank @@
+Normal rank
@@ Property / cites work @@
+Q5186720
@@ Property / cites work: Q5186720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727367
@@ Property / cites work: Q3727367 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity controlled hybrid automata
@@ Property / cites work: Continuity controlled hybrid automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4825707
@@ Property / cites work: Q4825707 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760255
@@ Property / cites work: Q2760255 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems
@@ Property / cites work: Hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757804
@@ Property / cites work: Q2757804 / 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 @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with guards: Combining hoare logic with process algebra
+Normal rank
@@ Property / cites work @@
+Analysis of three hybrid systems in timed \(\mu CRL\)
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552473
@@ Property / cites work: Q4552473 / 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 @@
+Q4953388
@@ Property / cites work: Q4953388 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid I/O automata.
@@ Property / cites work: Hybrid I/O automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264107
@@ Property / cites work: Q4264107 / rank @@
+Normal rank
@@ Property / cites work @@
+Variable binding operators in transition system specifications
+Normal rank
@@ Property / cites work @@
+Q4796539
@@ Property / cites work: Q4796539 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting timing in process algebra.
@@ Property / cites work: Revisiting timing in process algebra. / rank @@
+Normal rank
@@ Property / cites work @@
+An alternative formulation of operational conservativity with binding terms.
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of timed processes, ATP: Theory and application
+Normal rank
@@ Property / cites work @@
+TIC: a tImed calculus
@@ Property / cites work: TIC: a tImed calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418858
@@ Property / cites work: Q4418858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4367581
@@ Property / cites work: Q4367581 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2004.04.019
@@ Property / DOI: 10.1016/J.TCS.2004.04.019 / rank @@
+Normal rank