MURAL - Maynooth University Research Archive Library



    Items where Author is "Sinclair, David"


    Up a level
    Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
    Group by: Item Type | Date | No Grouping
    Jump to: 2005 | 2004 | 2001 | 2000 | 1999
    Number of items: 6.

    2005

    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

    2004

    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

    2001

    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.

    2000

    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.

    1999

    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 Mon Jul 15 22:56:15 2024 UTC.