MURAL - Maynooth University Research Archive Library



    Items where Author is "Gray, David"


    Up a level
    Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
    Group by: Item Type | Date | No Grouping
    Number of items: 3.

    Conference or Workshop Item

    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.

    This list was generated on Wed Mar 27 22:31:48 2024 UTC.