source: doc/theses/colby_parsons_MMAth/local.bib@ bccd70a

%    Predefined journal names:
%  acmcs: Computing Surveys             acta: Acta Infomatica
%  cacm: Communications of the ACM
%  ibmjrd: IBM J. Research & Development ibmsj: IBM Systems Journal
%  ieeese: IEEE Trans. on Soft. Eng.    ieeetc: IEEE Trans. on Computers
%  ieeetcad: IEEE Trans. on Computer-Aided Design of Integrated Circuits
%  ipl: Information Processing Letters  jacm: Journal of the ACM
%  jcss: J. Computer & System Sciences  scp: Science of Comp. Programming
%  sicomp: SIAM J. on Computing         tocs: ACM Trans. on Comp. Systems
%  tods: ACM Trans. on Database Sys.    tog: ACM Trans. on Graphics
%  toms: ACM Trans. on Math. Software   toois: ACM Trans. on Office Info. Sys.
%  toplas: ACM Trans. on Prog. Lang. & Sys.
%  tcs: Theoretical Computer Science
@string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
@string{ieeese="IEEE Transactions on Software Engineering"}
@string{spe="Software---\-Practice and Experience"}
@string{sigplan="SIGPLAN Notices"}
@string{joop="Journal of Object-Oriented Programming"}
@string{popl="Conference Record of the ACM Symposium on Principles of Programming Languages"}
@string{osr="Operating Systems Review"}
@string{pldi="Programming Language Design and Implementation"}

@inproceedings{wolke17,
  title={Locality-guided scheduling in caf},
  author={W{\"o}lke, Sebastian and Hiesgen, Raphael and Charousset, Dominik and Schmidt, Thomas C},
  booktitle={Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control},
  pages={11--20},
  year={2017}
}

@phdthesis{Delisle22,
author={{Delisle, Thierry}},
title={The \textsf{C}$\mathbf{\forall}$ Scheduler},
year={2022},
publisher="UWSpace",
url={http://hdl.handle.net/10012/18941}
}

@article{Hoare78,
  title={Communicating sequential processes},
  author={Hoare, Charles Antony Richard},
  journal={Communications of the ACM},
  volume={21},
  number={8},
  pages={666--677},
  year={1978},
  publisher={ACM New York, NY, USA}
}

@mastersthesis{Beach21,
author={{Beach, Andrew James}},
title={Exception Handling in \textsf{C}$\mathbf{\forall}$},
year={2021},
publisher="UWSpace",
url={http://hdl.handle.net/10012/17617}
}

@article{Roscoe88,
  title={The laws of occam programming},
  author={Roscoe, Andrew William and Hoare, Charles Antony Richard},
  journal={Theoretical Computer Science},
  volume={60},
  number={2},
  pages={177--229},
  year={1988},
  publisher={Elsevier}
}

@article{Pike84,
  title={The UNIX system: The blit: A multiplexed graphics terminal},
  author={Pike, Rob},
  journal={AT\&T Bell Laboratories Technical Journal},
  volume={63},
  number={8},
  pages={1607--1631},
  year={1984},
  publisher={Nokia Bell Labs}
}

@inproceedings{Dice11,
  title={Brief announcement: multilane-a concurrent blocking multiset},
  author={Dice, David and Otenko, Oleksandr},
  booktitle={Proceedings of the twenty-third annual ACM symposium on Parallelism in algorithms and architectures},
  pages={313--314},
  year={2011}
}

@misc{go:chan,
  author = "The Go Programming Language",
  title = "src/runtime/chan.go",
  howpublished = {\href{https://go.dev/src/runtime/chan.go}},
  note = "[Online; accessed 23-May-2023]"
}

@misc{go:select,
  author = "The Go Programming Language",
  title = "src/runtime/chan.go",
  howpublished = {\href{https://go.dev/src/runtime/select.go}},
  note = "[Online; accessed 23-May-2023]"
}