On Barbs and Labels in Reactive Systems

@misc{bonchi2010barbslabelsreactive,
      title={On Barbs and Labels in Reactive Systems},
      author={Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale},
      year={2010},
      eprint={1002.2869},
      archivePrefix={arXiv},
      primaryClass={cs.LO},
      url={https://arxiv.org/abs/1002.2869},
}