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

Howard Bowman, John Derrick, Richard E. Jones

Browse the full PODC paper archive.