@article{Cotton-Barratt:2019:MVP:3320016.3310338,
    Address = {New York, NY, USA},
    Author = {Cotton-Barratt, Conrad and Murawski, Andrzej S. and Ong, C.-H. Luke},
    File = {ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States - a11-cotton-barratt (0) - a - a - o.pdf},
    ISSN = {0164-0925},
    Journal = {ACM Trans. Program. Lang. Syst.},
    Keywords = {Higher-order types, automata over infinite alphabets, full abstraction, game semantics, vector addition systems},
    Month = {April},
    Number = {2},
    Pages = {11:1--11:38},
    Publisher = {ACM},
    Title = {ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States},
    URL = {http://doi.acm.org/10.1145/3310338},
    Volume = {41},
    Year = {2019},
    acmid = {3310338},
    articleno = {11},
    bdsk-url-1 = {http://doi.acm.org/10.1145/3310338},
    bdsk-url-2 = {https://doi.org/10.1145/3310338},
    date-added = {2019-08-17 18:52:28 +0200},
    date-modified = {2019-08-17 18:52:28 +0200},
    issue_date = {June 2019},
    numpages = {38},
    doi = {10.1145/3310338}
}

@article{Cotton-Barratt:2019:MVP:3320016.3310338, Address = {New York, NY, USA}, Author = {Cotton-Barratt, Conrad and Murawski, Andrzej S. and Ong, C.-H. Luke}, File = {ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States - a11-cotton-barratt (0) - a - a - o.pdf}, ISSN = {0164-0925}, Journal = {ACM Trans. Program. Lang. Syst.}, Keywords = {Higher-order types, automata over infinite alphabets, full abstraction, game semantics, vector addition systems}, Month = {April}, Number = {2}, Pages = {11:1--11:38}, Publisher = {ACM}, Title = {ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States}, URL = {http://doi.acm.org/10.1145/3310338}, Volume = {41}, Year = {2019}, acmid = {3310338}, articleno = {11}, bdsk-url-1 = {http://doi.acm.org/10.1145/3310338}, bdsk-url-2 = {https://doi.org/10.1145/3310338}, date-added = {2019-08-17 18:52:28 +0200}, date-modified = {2019-08-17 18:52:28 +0200}, issue_date = {June 2019}, numpages = {38}, doi = {10.1145/3310338} }