Algebraic Specification and Proof of a Distributed Recovery Algorithm - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jifeng He, C. A. R. Hoare. Algebraic Specification and Proof of a Distributed Recovery Algorithm. Distributed Computing, 2(1):1-12, 1987.

@article{JifengH87,
  title = {Algebraic Specification and Proof of a Distributed Recovery Algorithm},
  author = {Jifeng He and C. A. R. Hoare},
  year = {1987},
  tags = {algebraic specification, C++,  algebra},
  researchr = {https://researchr.org/publication/JifengH87},
  cites = {0},
  citedby = {0},
  journal = {Distributed Computing},
  volume = {2},
  number = {1},
  pages = {1-12},
}

runs on WebDSL