Back and Forth Bisimulations. Nicola, R. D.; Montanari, U.; and Vaandrager, F. W. In Baeten, J. C. M. and Klop, J. W., editors, CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings, volume 458, of Lecture Notes in Computer Science, pages 152–165, 1990. Springer.
Back and Forth Bisimulations [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/concur/NicolaMV90,
  author    = {Rocco De Nicola and
               Ugo Montanari and
               Frits W. Vaandrager},
  editor    = {Jos C. M. Baeten and
               Jan Willem Klop},
  title     = {Back and Forth Bisimulations},
  booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
               Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {458},
  pages     = {152--165},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/BFb0039058},
  doi       = {10.1007/BFb0039058},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/concur/NicolaMV90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0