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

Howard Bowman John Derrick Richard E. Jones

Published in: PODC (1994)

Keyphrases

temporal logic
garbage collection
model checking
modal logic
satisfiability problem
knowledge base
query language