Autor der Publikation

Coordinating Agents in OO.

, , , und . Objects, Agents, and Features, Volume 2975 von Lecture Notes in Computer Science, Seite 8-25. Springer, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Computer-aided Specification and Verification of Annotated Object-Oriented Programs., und . FMOODS, Volume 209 von IFIP Conference Proceedings, Seite 163-177. Kluwer, (2002)How to Cook a Complete Hoare Logic for Your Pet OO Language., und . FMCO, Volume 3188 von Lecture Notes in Computer Science, Seite 111-133. Springer, (2003)Coordinating Agents in OO., , , und . Objects, Agents, and Features, Volume 2975 von Lecture Notes in Computer Science, Seite 8-25. Springer, (2003)A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts., und . FMOODS, Volume 2884 von Lecture Notes in Computer Science, Seite 64-78. Springer, (2003)Controlling Object Allocation Using Creation Guards., , und . FM, Volume 3582 von Lecture Notes in Computer Science, Seite 59-74. Springer, (2005)A proof outline logic for object-oriented programming., und . Theor. Comput. Sci., 343 (3): 413-442 (2005)Modularity and the Rule of Adaptation., und . AMAST, Volume 3116 von Lecture Notes in Computer Science, Seite 394-408. Springer, (2004)