|
2008 Conference Publication Reactive probabilistic programs and refinement algebraMeinicke, L. A. and Solin, K. (2008). Reactive probabilistic programs and refinement algebra. 10th International Conference on Relational Methods in Computer Science/5th International Workshop on Applications of Kleene Algebra, Frauenworth Germany, 7 - 11 April 2008. Heidelberg, Germany: Springer. doi: 10.1007/978-3-540-78913-0_23 |
|
2007 Conference Publication Evaluation of a new assessment scheme for a third-year concurrency courseStrooper, P. A. and Meinicke, L. (2007). Evaluation of a new assessment scheme for a third-year concurrency course. Ninth Australiasian Computing Education Conference (ACE 2007), Ballarat, Victoria, Australia, 30 January - 2 February, 2007. New South Wales, Australia: Australian Computer Society, Inc.. |
|
2007 Conference Publication A stepwise development process for reasoning about the reliability of real-time systemsMeinicke, L. and Smith, G. (2007). A stepwise development process for reasoning about the reliability of real-time systems. 6th International Conference: IFM 2007 - Integrated Formal Methods, Oxford, U.K., 2-5 July 2007. Berlin, Germany: Springer-Verlag. doi: 10.1007/978-3-540-73210-5_23 |
|
2006 Conference Publication Continuous action system refinementMeinicke, L. A. and Hayes, I. J. (2006). Continuous action system refinement. 8th International Conference on Mathematics of Program Construction (MPC 2006), Kuressaare, Estonia, 3-5 July 2006. Berlin, Germany: Springer-Verlag. doi: 10.1007/11783596_19 |
|
2006 Conference Publication Reasoning algebraically about probabilistic loopsMeinicke, Larissa and Hayes, Ian J. (2006). Reasoning algebraically about probabilistic loops. 8th International Conference on Formal Engineering Methods, Macua, PR China, 1-3 November, 2006. Berlin, Germany: Springer-Verlag. doi: 10.1007/11901433_21 |
