A Relation-Algebraic Theory of Bisimulations - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Michael Winter. A Relation-Algebraic Theory of Bisimulations. Fundamenta Informaticae, 83(4):429-449, 2008. [doi]

@article{Winter08,
  title = {A Relation-Algebraic Theory of Bisimulations},
  author = {Michael Winter},
  year = {2008},
  url = {http://iospress.metapress.com/content/b56q30rm75271678/},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Winter08},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {83},
  number = {4},
  pages = {429-449},
}

runs on WebDSL