Gray, David, Hamilton, Geoff, 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, Power, James F., Gibson, Paul, 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, Hamilton, Geoff, Sinclair, David, 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.
![[up]](/style/images/multi_up.png)
Up a level