 | 2010 |
| 4 |  | Damian Nadales Agut,
Bert van Beek,
Harsh Beohar,
Pieter J. L. Cuijpers,
Jasper Fonteijn:
The Hierarchical Compositional Interchange Format.
FMCO 2010: 316-335 |
| 3 |  | Harsh Beohar,
Pieter J. L. Cuijpers:
A theory of desynchronisable closed loop system
ICE 2010: 99-114 |
| 2 |  | Harsh Beohar,
D. E. Nadales Agut,
Dirk A. van Beek,
Pieter J. L. Cuijpers:
Hierarchical states in the Compositional Interchange Format
SOS 2010: 42-56 |
| 2009 |
| 1 |  | Harsh Beohar,
Pieter J. L. Cuijpers,
Jos C. M. Baeten:
Design of asynchronous supervisors
CoRR abs/0910.0868: (2009) |