@inproceedings{inproceedings, title  = {{Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract).}},

 publisher = {{ACM}},

 url = {{http://dl.acm.org/citation.cfm?id=197917 }},

 year = {{1994}},

 month = {{1}},

 author = {{Bowman H and Derrick J and Jones RE}},

 journal = {{PODC}},

 pages = {{394-394}},

 note = {{Accessed on 2024/12/22}}}