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 Concurrency Theory - 28th International Conference, (CONCUR 2017), 2017.
Bibtex Entry:
@INPROCEEDINGS{Bonchi2017b,
  author = {Filippo Bonchi and Joshua Holland and Dusko Pavlovic and Pawe\l Soboci\'nski},
  title = {Refinement for signal flow graphs},
  booktitle = {Concurrency Theory - 28th International Conference, (CONCUR 2017)},
  year = {2017},
  url = {https://www.southampton.ac.uk/~ps1a06/papers/inequality.pdf},
  timestamp = {15.05.17}
}
Powered by bibtexbrowser