@inproceedings{attard:hal-03320023,
  TITLE = {{Better Late Than Never or: Verifying Asynchronous Components at Runtime}},
  AUTHOR = {Attard, Duncan Paul and Aceto, Luca and Achilleos, Antonis and Francalanza, Adrian and Ing{\'o}lfsd{\'o}ttir, Anna and Lehtinen, Karoliina},
  URL = {https://hal.science/hal-03320023},
  BOOKTITLE = {{41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems}},
  ADDRESS = {Valletta, Malta},
  PAGES = {207 - 225},
  YEAR = {2021},
  MONTH = Jun,
  DOI = {10.1007/978-3-030-78089-0\_14},
  KEYWORDS = {Runtime verification ; Instrumentation ; Monitoring},
  PDF = {https://hal.science/hal-03320023/file/paper.pdf},
  HAL_ID = {hal-03320023},
  HAL_VERSION = {v1},
}