Author of the publication

Formal Derivation of Concurrent Garbage Collectors.

, , and . MPC, volume 6120 of Lecture Notes in Computer Science, page 353-376. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Scheduling an Asynchronously Shared Resource., and . CP, volume 1118 of Lecture Notes in Computer Science, page 563-564. Springer, (1996)Synthesis of Constraint Algorithms.. PPCP, page 278-283. (1993)Machine Support for Software Development (Abstract).. ICSE, page 167-168. IEEE Computer Society, (1996)Tactical Synthesis of Efficient Global Search Algorithms., , and . NASA Formal Methods, volume NASA/CP-2009-215407 of NASA Conference Proceedings, page 171-175. (2009)09501 Abstracts Collection - Software Synthesis., , , and . Software Synthesis, volume 09501 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Derivational software engineering., and . FoSER, page 355-358. ACM, (2010)Comprehension by Derivation.. IWPC, page 3-9. IEEE Computer Society, (2005)Genome Visualization Made Fast and Simple., and . Bioinform., 19 (11): 1449-1450 (2003)Software synthesis and applications (abstract only).. FMSP, page 73. ACM, (2000)Colimits for Concurrent Collectors., , and . Verification: Theory and Practice, volume 2772 of Lecture Notes in Computer Science, page 568-597. Springer, (2003)