From CCS to CSP: the m-among-n Synchronisation Approach. | 0 | 0.34 | 2022 |
Modelling the Haemodialysis Machine with Circus. | 0 | 0.34 | 2016 |
Separation Kernel Verification: The Xtratum Case Study. | 3 | 0.40 | 2014 |
The Logic of U ·(TP)2. | 2 | 0.39 | 2012 |
Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers | 9 | 0.98 | 2010 |
A formal security proof for the ZRTP Protocol | 5 | 0.51 | 2009 |
Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers | 12 | 0.78 | 2007 |
Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers | 9 | 0.70 | 2006 |
5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001 | 6 | 1.03 | 2001 |
3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999 | 11 | 0.73 | 1999 |
2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998 | 11 | 1.66 | 1998 |