|
2018 Journal Article A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrencyHayes, Ian J., Meinicke, Larissa A., Winter, Kirsten and Colvin, Robert J. (2018). A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. Formal Aspects of Computing, 31 (2), 133-163. doi: 10.1007/s00165-018-0464-4 |
|
2017 Journal Article Designing a semantic model for a wide-spectrum language with concurrencyColvin, Robert J., Hayes, Ian J. and Meinicke, Larissa A. (2017). Designing a semantic model for a wide-spectrum language with concurrency. Formal Aspects of Computing, 29 (5), 1-23. doi: 10.1007/s00165-017-0416-4 |
|
2015 Journal Article Hidden-Markov program algebra with iterationMcIver, Annabelle, Meinicke, Larissa and Morgan, Carroll (2015). Hidden-Markov program algebra with iteration. Mathematical Structures in Computer Science, 25 (S02), 320-360. doi: 10.1017/S0960129513000625 |
|
2014 Journal Article Abstractions of non-interference security: probabilistic versus possibilisticHoang, Thai Son, McIver, Annabelle K., Meinicke, Larissa, Morgan, Carroll C., Sloane, Anthony and Susatyo, Enrico (2014). Abstractions of non-interference security: probabilistic versus possibilistic. Formal Aspects of Computing, 26 (1), 169-194. doi: 10.1007/s00165-012-0237-4 |
|
2013 Journal Article Linking unifying theories of program refinementHayes, Ian J., Dunne, Steve E. and Meinicke, Larissa A. (2013). Linking unifying theories of program refinement. Science of Computer Programming, 78 (11), 2086-2107. doi: 10.1016/j.scico.2012.07.010 |
|
2010 Journal Article Refinement algebra for probabilistic programsMeinicke, Larissa and Solin, Kim (2010). Refinement algebra for probabilistic programs. Formal Aspects of Computing, 22 (1), 3-31. doi: 10.1007/s00165-009-0111-1 |
|
2008 Journal Article Algebraic reasoning for probabilistic action systems and while-loopsMeinicke, Larissa and Hayes, Ian J. (2008). Algebraic reasoning for probabilistic action systems and while-loops. Acta Informatica, 45 (5), 321-382. doi: 10.1007/s00236-008-0073-4 |
|
2008 Journal Article Refinement Algebra for Probabilistic ProgramsMeinicke, Larissa and Solin, Kim (2008). Refinement Algebra for Probabilistic Programs. Electronic Notes in Theoretical Computer Science, 201 (C), 177-195. doi: 10.1016/j.entcs.2008.02.020 |
|
2007 Journal Article Evaluation of a new assesment scheme for a third-year concurrency courseStrooper, Paul and Meinicke, Larissa (2007). Evaluation of a new assesment scheme for a third-year concurrency course. Conferences in Research and Practice in Information Technology Series, 66, 147-154. |
