Hybrid process algebra (Q1763160): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2004.02.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2044667269
@@ Property / OpenAlex ID: W2044667269 / 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 @@
+Q2760254
@@ Property / cites work: Q2760254 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal specification and analysis of production systems
+Normal rank
@@ Property / cites work @@
+Redesign of a systems engineering language: formalisation of \(\chi\)
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / 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 @@
+Q4418858
@@ Property / cites work: Q4418858 / rank @@
+Normal rank
@@ 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 @@
+Differential Petri nets: representing continuous systems in a discrete-event world
+Normal rank
@@ Property / cites work @@
+Special issue: Hybrid Petri nets
@@ Property / cites work: Special issue: Hybrid Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid action systems
@@ Property / cites work: Hybrid action systems / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of three hybrid systems in timed \(\mu CRL\)
+Normal rank
@@ Property / cites work @@
+Compositionality issues in discrete, continuous, and hybrid systems
+Normal rank
@@ Property / cites work @@
+Control of systems integrating logic, dynamics, and constraints
+Normal rank
@@ Property / cites work @@
+Equivalence of hybrid dynamical models
@@ Property / cites work: Equivalence of hybrid dynamical models / rank @@
+Normal rank
@@ Property / cites work @@
+Complementarity modeling of hybrid systems
@@ Property / cites work: Complementarity modeling of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear regulation: The piecewise linear approach
+Normal rank
@@ Property / cites work @@
+Bisimulation Relations for Dynamical and Control Systems
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4211176
@@ Property / cites work: Q4211176 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4400449
@@ Property / cites work: Q4400449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Global renaming operators in concrete process algebra
+Normal rank
@@ Property / cites work @@
+Process algebra with timing
@@ Property / cites work: Process algebra with timing / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid process algebra
@@ Property / cites work: Hybrid process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical methods of specification and synthesis of software systems '85. Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Process algebra with propositional signals
@@ Property / cites work: Process algebra with propositional signals / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847419
@@ Property / cites work: Q2847419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2701735
@@ Property / cites work: Q2701735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank