Concurrent Refinement Algebra and Rely Quotients - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Julian Fell, Ian J. Hayes, Andrius Velykis. Concurrent Refinement Algebra and Rely Quotients. Archive of Formal Proofs, 2016, 2016. [doi]

@article{FellHV16,
  title = {Concurrent Refinement Algebra and Rely Quotients},
  author = {Julian Fell and Ian J. Hayes and Andrius Velykis},
  year = {2016},
  url = {https://www.isa-afp.org/entries/Concurrent_Ref_Alg.shtml},
  researchr = {https://researchr.org/publication/FellHV16},
  cites = {0},
  citedby = {0},
  journal = {Archive of Formal Proofs},
  volume = {2016},
}

runs on WebDSL