@misc{Reinhard2021GhostSignalsExtended,
	title={Ghost Signals: Verifying Termination of Busy-Waiting (Extended Version)}, 
	author={Tobias Reinhard and Bart Jacobs},
	year={2021},
	url={https://arxiv.org/abs/2010.11762},
	eprint={2010.11762},
	archivePrefix={arXiv},
	primaryClass={cs.LO}
}


@misc{Reinhard2021GhostSignalsTR,
  title={Ghost Signals: Verifying Termination of Busy-Waiting (Technical Report)},
  author={Tobias Reinhard and Bart Jacobs},
  year={2021},
  url={https://people.cs.kuleuven.be/~tobias.reinhard/ghostSignals--TR.pdf}
}