Research

A graphical foundation for interleaving in game semantics


Reference:

McCusker, G., Power, J. and Wingfield, C., 2015. A graphical foundation for interleaving in game semantics. Journal of Pure and Applied Algebra, 219 (4), pp. 1131-1174.

Related documents:

[img]
Preview
PDF (graphical_schedules) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (667kB) | Preview

    Official URL:

    http://dx.doi.org/10.1016/j.jpaa.2014.05.040

    Related URLs:

    Abstract

    In 2007, Harmer, Hyland and Melliès gave a formal mathematical foundation for game semantics using a notion they called a {multimap}-schedule, and the similar notion of ⊗-schedule, both structures describing interleavings of plays in games. Their definition was combinatorial in nature, but researchers often draw pictures when describing schedules in practice. Moreover, several proofs of key properties, such as that the composition of {multimap}-schedules is associative, involve cumbersome combinatorial detail, whereas in terms of pictures the proof is straightforward, reflecting the geometry of the plane. Here, we give a geometric formulation of {multimap}-schedules and ⊗-schedules, prove that they are isomorphic to Harmer et al.'s definitions, and illustrate their value by giving such geometric proofs. Harmer et al.'s notions may be combined to describe plays in multi-component games, and researchers have similarly developed intuitive graphical representations of plays in these games. We give a characterisation of these diagrams and explicitly describe how they relate to the underlying schedules, finally using this relation to provide new, intuitive proofs of key categorical properties.

    Details

    Item Type Articles
    CreatorsMcCusker, G., Power, J. and Wingfield, C.
    DOI10.1016/j.jpaa.2014.05.040
    Related URLs
    URLURL Type
    http://www.scopus.com/inward/record.url?scp=84916219862&partnerID=8YFLogxKUNSPECIFIED
    Uncontrolled Keywordsgame semantics, geometry, schedules, composites, associativity, symmetric monoidal closed category
    DepartmentsFaculty of Science > Computer Science
    RefereedYes
    StatusPublished
    ID Code37955

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...