Colimits for concurrent collectors

DOI10.1007/B12001MaRDI QIDQ5305657zbMATH OpenOpenAlexFDO

Authors Dusko Pavlovic, Peter Pepper, Doug Smith

Publication date 23 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b12001

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Formal derivation of concurrent garbage collectors
• scientific article; zbMATH DE number 140005
• Verifying a concurrent garbage collector with a rely-guarantee methodology
• Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
• Composition by Colimit and Formal Software Development

Cited in

(4)

• Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
• Formal derivation of concurrent garbage collectors
• From Gödel's incompleteness theorem to the completeness of bot beliefs (extended abstract)
• ConcurrentHOL

This page was built for publication: Colimits for concurrent collectors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5305657)