Sciweavers

84
Voted
BIRTHDAY
2003
Springer
15 years 2 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