Searching for "Hybrid process algebra." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Discrete simulation of behavioural hybrid process algebra
- …]). More recently process algebraic models have been put forward as a vehicle for the study of hybrid…
- Cited by 2 (1 self) – Add To MetaCart
-
A Comparative Study of Process Algebras for Hybrid Systems, in
- …A Comparative Study of Process Algebras for Hybrid Systems Contents Uzma Khadim u…
- Cited by 1 (0 self) – Add To MetaCart
-
et al
- … computer science, in particular from process algebra and hybrid automata. In this paper, we first provide…
- Cited by 1 (0 self) – Add To MetaCart
-
Action and predicate safety of hybrid processes
- …. Very recently, process algebras have been developed in which hybrid systems can be modeled and analyzed…
- Cited by 2 (0 self) – Add To MetaCart
-
Analysis and Synthesis of Systems with Discrete and Continuous Control
- … study is an appropriate example. Keywords— hybrid systems, process algebra, syntax, semantics…
- Add To MetaCart
-
Formal semantics of hybrid Chi
- … algebra, and is thus related to other hybrid process algebras, such as HyPa [5], the φ-Calculus [6…
- Cited by 5 (3 self) – Add To MetaCart
-
Towards Hybrid Interface Specification for Virtual Environments
- … process algebras [7], hybrid automata [1, 5, 11] and hybrid high-level Petri Nets [28, 27]. All…
- Cited by 9 (3 self) – Add To MetaCart
-
M.: Duplication of constants in process algebra
- …Duplication of Constants in Process Algebra J.C.M. Baeten and M.A. Reniers Division of Computer…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 8.
