Refinement for Signal Flow Graphs (bibtex)

by Filippo Bonchi, Joshua Holland, Dusko Pavlovic and Paweł Sobociński

Reference:

Filippo Bonchi, Joshua Holland, Dusko Pavlovic and Paweł Sobociński, Refinement for Signal Flow Graphs, In 28th International Conference on Concurrency Theory, CONCUR 2017, Berlin, Germany, September 5–8, 2017 (Roland Meyer, Uwe Nestmann, eds.), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, vol. 85, pp. 24:1–24:16, 2017.

Bibtex Entry:

@InProceedings{Bonchi2017b,
  author    = {Filippo Bonchi and Joshua Holland and Dusko Pavlovic and Pawe{\l} Soboci{\'{n}}ski},
  title     = {Refinement for Signal Flow Graphs},
  booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017, Berlin, Germany, September 5--8, 2017},
  editor    = {Roland Meyer and Uwe Nestmann},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {24:1--24:16},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2017},
  doi       = {10.4230/LIPIcs.CONCUR.2017.24},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.24},
}