Contextual Equivalence for Signal Flow Graphs (bibtex)

by Filippo Bonchi, Robin Piedeleu, Paweł Sobociński and Fabio Zanasi

Reference:

Filippo Bonchi, Robin Piedeleu, Paweł Sobociński and Fabio Zanasi, Contextual Equivalence for Signal Flow Graphs, In 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2020), Springer, vol. 12077, pp. 77–96, 2020.

Bibtex Entry:

@inproceedings{DBLP:conf/fossacs/BonchiPSZ20,
  author    = {Filippo Bonchi and
               Robin Piedeleu and
               Pawe{\l} Soboci{\'{n}}ski and
               Fabio Zanasi},
  title     = {Contextual Equivalence for Signal Flow Graphs},
  booktitle = {23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2020)},
  series    = {Lecture Notes in Computer Science},
  volume    = {12077},
  pages     = {77--96},
  publisher = {Springer},
  year      = {2020},
  url       = {https://arxiv.org/pdf/2002.08874.pdf},
}