Centrum Wiskunde & Informatica

Divide and congruence: from decomposition of modalities to preservation of branching bisimulation In Proceedings

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

January 2006
GPS scheduling: selection of optimal weights and comparison with strict priorities In Proceedings

P.M.D. Lieshout (Pascal), M.R.H. Mandjes (Michel) and S.C. Borst (Sem)

January 2006
Divide and congruence applied to eta-bisimulation In Proceedings

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

January 2006
Heavy-traffic approximations for linear networks operating under $α$-fair bandwidth sharing policies In Proceedings

P.M.D. Lieshout (Pascal), S.C. Borst (Sem) and M.R.H. Mandjes (Michel)

January 2006
Realization Theory of Nonlinear Hybrid Systems In Proceedings

M. Petreczky (Mihaly) and J.-B. Pomet

January 2006
Compositionality of Hennessy-Milner logic by structural operational semantics Article

Bulletin of the EATCS, 421-440.

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

January 2006
Realization Theory for Discrete-Time piecewise-affine hybrid systems In Proceedings

M. Petreczky (Mihaly)

January 2006
Reachability of Linear Switched Systems: Differential geometric approach Article

Systems & Control Letters, 112-118.

M. Petreczky (Mihaly)

January 2006

Previous

Next