Publication

Sound and complete axiomatization of trace semantics for probabilistic systems Article

A.M. Silva (Alexandra) and A. Sokolova

On Moessner's theorem Tech Report

D. Kozen and A.M. Silva (Alexandra)

Preface Article

B.P.F. Jacobs, M. Niqui (Milad), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

Proceedings Fourth Interaction and Concurrency Experience Book

Concurrency and Interaction in Complex Systems Book

LQG coordination control Master Thesis

N. Pambakian

Controllability and observability of coordinated linear systems Tech Report

P.L. Kempker (Pia), A.C.M. Ran and J.H. van Schuppen (Jan)

Maximally permissive distributed dupervisory control of nondeterministic discrete-event systems In Proceedings

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)