Autor der Publikation

Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

, und (Hrsg.) Volume 6194 von Lecture Notes in Computer Science, Springer, (2010)

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

Time complexity of concurrent programs., , , und . CoRR, (2015)Formal molecular biology., und . Theor. Comput. Sci., 325 (1): 69-110 (2004)Interaction Systems II: The Practice of Optimal Reductions., und . Theor. Comput. Sci., 159 (2): 191-244 (1996)A type system for JVM threads.. Theor. Comput. Sci., 290 (1): 741-778 (2003)Calculi for Concurrent Objects (Tutorial).. FMOODS, Volume 139 von IFIP Conference Proceedings, Kluwer, (1999)Pacta sunt servanda: Legal contracts in Stipula., , , und . Sci. Comput. Program., (2023)A Beginner's Guide to the DeadLock Analysis Model., und . TGC, Volume 8191 von Lecture Notes in Computer Science, Seite 49-63. Springer, (2012)Split and ST Bisimulation Semantics, und . Inf. Comput., 118 (2): 272-288 (Mai 1995)Paths in the lambda-calculus, , , und . LICS, Seite 426-436. IEEE Computer Society, (1994)Orchestrating Transactions in Join Calculus., , und . CONCUR, Volume 2421 von Lecture Notes in Computer Science, Seite 321-337. Springer, (2002)