CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2008 -
Reconfiguration Distributed Reo Connectors In Proceedings
C. Krause (born Köhler) (Christian), F. Arbab (Farhad) and E.P. de Vink (Erik)
January 2008 -
Coalgebraic logic and synthesis of Mealy machines In Proceedings
M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)
January 2008
-
Recasting Constraint Automata into Buchi Automata In Proceedings
January 2008 -
Calculating Invariants as Coreflexive Bisimulations In Proceedings
L.S. Barbosa, J.N. Oliveira (José) and A.M. Silva (Alexandra)
January 2008 -
Modeling Component Connectors: Synchronisation and Context-Dependency In Proceedings
M.M. Bonsangue (Marcello), M. Izadi (Mohammad) and D.G. Clarke (David)
January 2008 -
Synthesizing nonblocking distributed supervision based on automata abstraction In Proceedings
R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)
January 2008 -
Deconstructing Reo In Proceedings
D.G. Clarke (David), J.M.P. Proença (Jose), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)
January 2008