TY  - CONF

T1  - Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract).

JO  - PODC

UR  - http://dl.acm.org/citation.cfm?id=197917

PY  - 1994/01/01

AU  - Bowman H

AU  - Derrick J

AU  - Jones RE

ED  - Anderson JH

ED  - Peleg D

ED  - Borowsky E

PB  - ACM

SP  - 394

EP  - 394

Y2  - 2024/10/23

ER  -