Publications

2016
DOI
[bibtex]
Erika Abraham, Marcello M. Bonsangue, Einar Broch Johnsen editors. Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer International Publishing, Volume 9660 of LNCS, 2016.
2004
DOI
[bibtex]
Erika Abraham, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen. Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. Theoretical Aspects of Computing (ICTAC'04), Volume 3407 of LNCS, pages 37–51, Springer Berlin Heidelberg, 2004.
DOI
[bibtex]
Erika Abraham, Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen. Observability, Connectivity, and Replay in a Sequential Calculus of Classes. Formal Methods for Components and Objects (FMCO'04), Volume 3657 of LNCS, pages 296–316, Springer Berlin Heidelberg, 2004.
DOI
[bibtex]
Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Abraham. A Fully Abstract Trace Semantics for UML Components. Formal Methods for Components and Objects (FMCO'04), Volume 3657 of LNCS, pages 49–69, Springer Berlin Heidelberg, 2004.

[bibtex]
Erika Abraham, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen. Classes, Object Connectivity, and Observability (Extended abstract). 12. Kolloquium Programmiersprachen und Grundlagen der Programmierung, University Freiburg, 2004.
2003

[bibtex]
Erika Abraham, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen. A Structural Operational Semantics for a Concurrent Class Calculus. Technical report at Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number 0307, 2003.