Article

Sinclair, David and Power, James F. (2005) Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. Electronic Notes in Theoretical Computer Science, 133. pp. 255-273. ISSN 1571-0661

Power, James F. and Sinclair, David (2004) A Formal Model of Forth Control Words in the Pi-Calculus. Journal of Universal Computer Science, 10 (9). pp. 1272-1293. ISSN 0948-695X

Conference or Workshop Item

Power, James F. and Sinclair, David (2001) A Formal Model of Forth Control Words in the Pi-Calculus. In: 6th International Workshop on Formal Methods for Industrial Critical Systems, 16-17 July 2001, Paris, France.

Gray, David and Hamilton, Geoff and Power, James F. and Sinclair, David (2001) A Specification of TCP/IP using Mixed Intuitionistic Linear Logic. In: 2nd Joint Workshop on Formal Specification of Computer-Based Systems, 20 April 2001, Washington DC, USA.

Sinclair, David and Power, James F. and Gibson, Paul and Gray, David and Hamilton, Geoff (2000) Specifying and Verifying IP with Linear Logic. In: International Workshop on Distributed Systems Validation and Verification, 10 April 2000, Taipei, Taiwan.

Gray, David and Hamilton, Geoff and Sinclair, David and Gibson, Paul and Power, James F. (1999) Four Logics and a Protocol. In: 3rd Irish Workshop in Formal Methods, 1-2 July 1999, National University of Ireland, Galway.