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

A Compositional Semantics for Modelica-style Variable-structureModeling., , , and . EOOLT, volume 56 of Linköping Electronic Conference Proceedings, page 45-54. Linköping University Electronic Press, (2011)Notes on the Separate Compilation of Modelica., , and . EOOLT, volume 47 of Linköping Electronic Conference Proceedings, page 43-51. Linköping University Electronic Press, (2010)Special Transformation Techniques., , , and . Program Construction, volume 69 of Lecture Notes in Computer Science, page 290-321. Springer, (1978)Functional Development of Massively Parallel Programs (Invited Paper)., , and . Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science, page 217-238. Springer, (1993)Systematics of Transformation Rules., , , , and . Program Construction, volume 69 of Lecture Notes in Computer Science, page 273-289. Springer, (1978)Towards a wide spectrum language to support program specification and program development., , , , , , , and . ACM SIGPLAN Notices, 13 (12): 15-24 (1978)Grundlagen der Informatik.. Oldenbourg, (1992)ICT-based continuous innovation and research in German university admissions., , , and . ENIS, volume 78 of EPiC Series in Computing, page 59-68. EasyChair, (2021)Program Development in an Algebraic Setting.. Formal Program Development, volume 755 of Lecture Notes in Computer Science, page 225-262. Springer, (1993)On Recent Trends in Algebraic Specification., , and . ICALP, volume 372 of Lecture Notes in Computer Science, page 263-288. Springer, (1989)