@article{Murawski:2016:NGS:2964282.2964283,
    Address = {Hanover, MA, USA},
    Author = {Murawski, Andrzej S. and Tzevelekos, Nikos},
    File = {Nominal Game Semantics - murawski2016 (0) - a - a - m.pdf},
    ISSN = {2325-1107},
    Journal = {Found. Trends Program. Lang.},
    Month = {March},
    Number = {4},
    Pages = {191--269},
    Publisher = {Now Publishers Inc.},
    Title = {Nominal Game Semantics},
    URL = {http://dx.doi.org/10.1561/2500000017},
    Volume = {2},
    Year = {2016},
    acmid = {2964283},
    bdsk-url-1 = {http://dx.doi.org/10.1561/2500000017},
    date-added = {2019-09-12 18:31:06 +0200},
    date-modified = {2019-09-12 18:31:06 +0200},
    issue_date = {3 2016},
    numpages = {79},
    doi = {10.1561/2500000017}
}

@article{Murawski:2016:NGS:2964282.2964283, Address = {Hanover, MA, USA}, Author = {Murawski, Andrzej S. and Tzevelekos, Nikos}, File = {Nominal Game Semantics - murawski2016 (0) - a - a - m.pdf}, ISSN = {2325-1107}, Journal = {Found. Trends Program. Lang.}, Month = {March}, Number = {4}, Pages = {191--269}, Publisher = {Now Publishers Inc.}, Title = {Nominal Game Semantics}, URL = {http://dx.doi.org/10.1561/2500000017}, Volume = {2}, Year = {2016}, acmid = {2964283}, bdsk-url-1 = {http://dx.doi.org/10.1561/2500000017}, date-added = {2019-09-12 18:31:06 +0200}, date-modified = {2019-09-12 18:31:06 +0200}, issue_date = {3 2016}, numpages = {79}, doi = {10.1561/2500000017} }