Sciweavers

BIRTHDAY
2003
Springer
14 years 5 months ago
Colimits for Concurrent Collectors
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
Dusko Pavlovic, Peter Pepper, Douglas R. Smith