Formal Derivation of Concurrent Garbage Collectors.

Dusko Pavlovic Peter Pepper Douglas R. Smith

Published in: MPC (2010)

Keyphrases

image processing
mathematical theory
data structure
logic programs
formal model
formal models
artificial intelligence
case study
three dimensional
video sequences
information technology
garbage collection
mutual exclusion