Skip to main content

Colimits for Concurrent Collectors

Dusko Pavlovic‚ Peter Pepper and Douglas R. Smith

Book Title
Verification — Theory and Practice. Essays Dedicated to Zohar Mana on the Occasion of His 64th Birthday
Editor
Nachum Dershowitz
Pages
568–597
Publisher
Springer Verlag
Series
Lecture Notes in Computer Science
Volume
2772
Year
2003