The Congruences below Fair Testing with Initial Stability

Antti Valmari. The Congruences below Fair Testing with Initial Stability. In Jörg Desel, Alex Yakovlev, editors, 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016. pages 25-34, IEEE Computer Society, 2016. [doi]

@inproceedings{Valmari16,
  title = {The Congruences below Fair Testing with Initial Stability},
  author = {Antti Valmari},
  year = {2016},
  doi = {10.1109/ACSD.2016.15},
  url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2016.15},
  researchr = {https://researchr.org/publication/Valmari16},
  cites = {0},
  citedby = {0},
  pages = {25-34},
  booktitle = {16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016},
  editor = {Jörg Desel and Alex Yakovlev},
  publisher = {IEEE Computer Society},
  isbn = {978-1-5090-2589-3},
}