Publications
l Computer Science, pages 88–102. Open Publishing Association, 2012. doi: 10.4204/EPTCS.102.9 Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard Payne [...] formal methods - from CSP to executable hybrid specifications. In Ali E. Abdallah, Cliff B. Jones, and Jeff W. Sanders, editors, Communicating Sequential Processes: The First 25 Years. Symposium on the Occasion [...] Buth, Michel Kouvaras, Jan Peleska, and Hui Shi. Deadlock analysis for a fault-tolerant system. In Michael Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST