A graphical foundation for interleaving in game semantics. McCusker, G.; Power, J.; and Wingfield, C. Journal of Pure and Applied Algebra, 219(4):1131--1174, Elsevier, 2015.
doi  bibtex   
@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}
}
Downloads: 0