Kun Wei

Search results

• 2015

  Towards Algebraic Semantics of Circus Time

  Wei, K. & Woodcock, J., 2015, Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). Springer, Vol. 8963. p. 84-104 21 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2012

  Circus Time with Reactive Designs

  Woodcock, J., Wei, K. & Cavalcanti, A. L. C., 2012, Unifying Theories of Programming . Springer, p. 68-87 (Lecture Notes in Computer Science; vol. 7681).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2011

  Safety-Critical Java in Circus

  Cavalcanti, A. L. C., Wellings, A., Woodcock, J., Wei, K. & Zeyda, F., 2011, 9th Workshop on Java Technologies for Real-Time and Embedded System. p. 20-29 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Timed circus: Timed CSP with the miracle

  Wei, K., Woodcock, J. & Burns, A., 25 Jul 2011, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. Perseil, I., Breitman, K. & Sterritt, R. (eds.). IEEE Computer Society, p. 55-64 10 p. 5773380

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  File