@article{mccusker2015graphical,
  title = {A graphical foundation for interleaving in game semantics},
  author = {McCusker, Guy and Power, John and Wingfield, Cai},
  journal = {Journal of Pure and Applied Algebra},
  volume = {219},
  number = {4},
  pages = {1131--1174},
  year = {2015},
  doi = {10.1016/j.jpaa.2014.05.040},
  publisher = {Elsevier}
}

{"_id":"KCKErzpQNdRKeQRNW","bibbaseid":"mccusker-power-wingfield-agraphicalfoundationforinterleavingingamesemantics-2015","downloads":0,"creationDate":"2016-02-11T18:47:14.198Z","title":"A graphical foundation for interleaving in game semantics","author_short":["McCusker, G.","Power, J.","Wingfield, C."],"year":2015,"bibtype":"article","biburl":"http://caiwingfield.net/publications.bib","bibdata":{"bibtype":"article","type":"article","title":"A graphical foundation for interleaving in game semantics","author":[{"propositions":[],"lastnames":["McCusker"],"firstnames":["Guy"],"suffixes":[]},{"propositions":[],"lastnames":["Power"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Wingfield"],"firstnames":["Cai"],"suffixes":[]}],"journal":"Journal of Pure and Applied Algebra","volume":"219","number":"4","pages":"1131--1174","year":"2015","doi":"10.1016/j.jpaa.2014.05.040","publisher":"Elsevier","bibtex":"@article{mccusker2015graphical,\n title = {A graphical foundation for interleaving in game semantics},\n author = {McCusker, Guy and Power, John and Wingfield, Cai},\n journal = {Journal of Pure and Applied Algebra},\n volume = {219},\n number = {4},\n pages = {1131--1174},\n year = {2015},\n doi = {10.1016/j.jpaa.2014.05.040},\n publisher = {Elsevier}\n}\n\n","author_short":["McCusker, G.","Power, J.","Wingfield, C."],"key":"mccusker2015graphical","id":"mccusker2015graphical","bibbaseid":"mccusker-power-wingfield-agraphicalfoundationforinterleavingingamesemantics-2015","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["graphical","foundation","interleaving","game","semantics","mccusker","power","wingfield"],"keywords":[],"authorIDs":[],"dataSources":["jf9qqeYLuBbP5WmW2"]}