Autor der Publikation

The Future of a Missed Deadline.

, , und . COORDINATION, Volume 7890 von Lecture Notes in Computer Science, Seite 181-195. Springer, (2013)

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

Prototyping a tool environment for run-time assertion checking in JML with communication histories., , und . FTfJP@ECOOP, Seite 6:1-6:7. ACM, (2010)A proof rule for process-creation.. Formal Description of Programming Concepts, Seite 23-52. North-Holland, (1987)Formal Verification of Service Level Agreements Through Distributed Monitoring., , und . ESOCC, Volume 9306 von Lecture Notes in Computer Science, Seite 125-140. Springer, (2015)A design pattern for optimizations in data intensive applications using ABS and JAVA 8., , , , und . Concurr. Comput. Pract. Exp., 28 (2): 374-385 (2016)On Futures for Streaming Data in ABS - (Short Paper)., , und . FORTE, Volume 10321 von Lecture Notes in Computer Science, Seite 67-73. Springer, (2017)A shared-variable concurrency analysis of multi-threaded object-oriented programs.. Theor. Comput. Sci., 410 (2-3): 128-141 (2009)Proving Correctness of Parallel Implementations of Transition System Specifications., , , und . CoRR, (2023)Object-Oriented and Constraint Programming for Time Critical Applications.. ECOOP Workshops, Volume 1743 von Lecture Notes in Computer Science, Seite 255-266. Springer, (1999)A Petri Net Based Modeling of Active Objects and Futures., , , und . Fundam. Informaticae, 159 (3): 197-256 (2018)A Proof System for the Parallel Object-Oriented Language POOL.. ICALP, Volume 443 von Lecture Notes in Computer Science, Seite 572-585. Springer, (1990)