Autor der Publikation

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

A Fully Abstract Semantics for UML Components, , , und . X, Seite 49--69. (2005)A proof rule for process-creation.. Formal Description of Programming Concepts, Seite 23-52. North-Holland, (1987)Run-Time Deadlock Detection., und . Provably Correct Systems, Springer, (2017)Prototyping a tool environment for run-time assertion checking in JML with communication histories., , und . FTfJP@ECOOP, Seite 6:1-6:7. ACM, (2010)Modularity and the Rule of Adaptation., und . AMAST, Volume 3116 von Lecture Notes in Computer Science, Seite 394-408. Springer, (2004)Semantics of Plan Revision in Intelligent Agents., , und . AMAST, Volume 3116 von Lecture Notes in Computer Science, Seite 426-442. Springer, (2004)A Proof System for the Parallel Object-Oriented Language POOL.. ICALP, Volume 443 von Lecture Notes in Computer Science, Seite 572-585. Springer, (1990)The Future of a Missed Deadline., , und . COORDINATION, Volume 7890 von Lecture Notes in Computer Science, Seite 181-195. Springer, (2013)The Real-Time Behaviour of Asynchronously Communicating Processes., und . FTRTFT, Volume 571 von Lecture Notes in Computer Science, Seite 451-472. Springer, (1992)Generalised Object-Oriented Concepts for Inter-agent Communication., , , und . ATAL, Volume 1986 von Lecture Notes in Computer Science, Seite 260-274. Springer, (2000)