%    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}
}