Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract) - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Howard Bowman, John Derrick, Richard E. Jones. Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract). In PODC. pages 394, 1994.

@inproceedings{BowmanDJ94,
  title = {Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract)},
  author = {Howard Bowman and John Derrick and Richard E. Jones},
  year = {1994},
  tags = {e-science, logic},
  researchr = {https://researchr.org/publication/BowmanDJ94},
  cites = {0},
  citedby = {0},
  pages = {394},
  booktitle = {PODC},
}

runs on WebDSL