Circus Time with Reactive Designs

Kun Wei, Jim Woodcock, Ana Cavalcanti. Circus Time with Reactive Designs. In Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi, editors, Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Volume 7681 of Lecture Notes in Computer Science, pages 68-87, Springer, 2012. [doi]

Authors

Kun Wei

This author has not been identified. Look up 'Kun Wei' in Google

Jim Woodcock

This author has not been identified. Look up 'Jim Woodcock' in Google

Ana Cavalcanti

This author has not been identified. Look up 'Ana Cavalcanti' in Google