L3-internship-report/report/biblio.bib

@inproceedings{winskel1986event,
  title={Event structures},
  author={Winskel, Glynn},
  booktitle={Advanced Course on Petri Nets},
  pages={325--392},
  year={1986},
  organization={Springer}
}

@article{castellan2016concurrent,
  title={Concurrent Games},
  author={Castellan, Simon and Clairambault, Pierre and Rideau, Silvain and Winskel, Glynn},
  journal={arXiv preprint arXiv:1604.04390},
  year={2016}
}
@book{milner1980ccs,
  title={A calculus of communicating systems},
  author={Milner, Robin},
  year={1980},
  isbn={0387102353}
}

%%%%% Pierre's references

@article{hyland2000pcf,
  title={{On full abstraction for PCF: I, II, and III}},
  author={Hyland, J Martin E and Ong, C-HL},
  journal={Information and computation},
  volume={163},
  number={2},
  pages={285--408},
  year={2000},
  publisher={Elsevier}
}

@article{abramsky2000pcf,
  title={{Full abstraction for PCF}},
  author={Abramsky, Samson and Jagadeesan, Radha and Malacaria, Pasquale},
  journal={Information and Computation},
  volume={163},
  number={2},
  pages={409--470},
  year={2000},
  publisher={Elsevier}
}

@article{abramsky1996linearity,
  title={Linearity, sharing and state: a fully abstract game semantics for Idealized Algol with active expressions},
  author={Abramsky, Samson and McCusker, Guy},
  journal={Electronic Notes in Theoretical Computer Science},
  volume={3},
  pages={2--14},
  year={1996},
  publisher={Elsevier}
}

@inproceedings{laird1997callcc,
  title={Full abstraction for functional languages with control},
  author={Laird, James},
  booktitle={Logic in Computer Science, 1997. LICS'97. Proceedings., 12th Annual IEEE Symposium on},
  pages={58--67},
  year={1997},
  organization={IEEE}
}

@inproceedings{laird2001exceptions,
  title={A fully abstract game semantics of local exceptions},
  author={Laird, James},
  booktitle={Logic in Computer Science, 2001. Proceedings. 16th Annual IEEE Symposium on},
  pages={105--114},
  year={2001},
  organization={IEEE}
}

@inproceedings{abramsky1998references,
  title={A fully abstract game semantics for general references},
  author={Abramsky, Samson and Honda, Kohei and McCusker, Guy},
  booktitle={Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE Symposium on},
  pages={334--344},
  year={1998},
  organization={IEEE}
}

@article{laird2001game,
  title={{A game semantics of Idealized CSP}},
  author={Laird, James},
  journal={Electronic Notes in Theoretical Computer Science},
  volume={45},
  pages={232--257},
  year={2001},
  publisher={Elsevier}
}

@inproceedings{ghica2004angelic,
  title={Angelic semantics of fine-grained concurrency},
  author={Ghica, Dan R and Murawski, Andrzej S},
  booktitle={International Conference on Foundations of Software Science and Computation Structures},
  pages={211--225},
  year={2004},
  organization={Springer}
}

@inproceedings{reynolds1978syntactic,
  title={Syntactic control of interference},
  author={Reynolds, John C},
  booktitle={Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
  pages={39--46},
  year={1978},
  organization={ACM}
}

@inproceedings{caires2010session,
  title={Session types as intuitionistic linear propositions},
  author={Caires, Lu{\'\i}s and Pfenning, Frank},
  booktitle={International Conference on Concurrency Theory},
  pages={222--236},
  year={2010},
  organization={Springer}
}

@inproceedings{rideau2011concurrent,
  title={Concurrent Strategies.},
  author={Rideau, Silvain and Winskel, Glynn},
  booktitle={LICS},
  volume={11},
  pages={409--418},
  year={2011}
}