Monitoring Reactive Systems with Dynamic Channels

Dante Zanarini, Mauro Jaskelioff. Monitoring Reactive Systems with Dynamic Channels. In Alejandro Russo, Omer Tripp, editors, Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014. pages 66, ACM, 2014. [doi]

@inproceedings{ZanariniJ14,
  title = {Monitoring Reactive Systems with Dynamic Channels},
  author = {Dante Zanarini and Mauro Jaskelioff},
  year = {2014},
  doi = {10.1145/2637113.2637120},
  url = {http://doi.acm.org/10.1145/2637113.2637120},
  researchr = {https://researchr.org/publication/ZanariniJ14},
  cites = {0},
  citedby = {0},
  pages = {66},
  booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
  editor = {Alejandro Russo and Omer Tripp},
  publisher = {ACM},
  isbn = {978-1-4503-2862-3},
}