Autor der Publikation

A Formal Account of WS-BPEL.

, , und . COORDINATION, Volume 5052 von Lecture Notes in Computer Science, Seite 199-215. Springer, (2008)

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

Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications., , , und . IEEE Wirel. Commun., 23 (2): 86-92 (2016)Specifying and Analysing SOC Applications with COWS., , und . Concurrency, Graphs and Models, Volume 5065 von Lecture Notes in Computer Science, Seite 701-720. Springer, (2008)Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach., , , , , , und . DLT, Volume 3460 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)On Observing Dynamic Prioritised Actions in SOC., , und . ICALP (2), Volume 5556 von Lecture Notes in Computer Science, Seite 558-570. Springer, (2009)Proof Techniques for Cryptographic Processes., , und . LICS, Seite 157-166. IEEE Computer Society, (1999)Types as Specifications of Access Policies., , und . Secure Internet Programming, Volume 1603 von Lecture Notes in Computer Science, Seite 118-146. Springer, (1999)Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies., , und . COORDINATION, Volume 11533 von Lecture Notes in Computer Science, Seite 129-147. Springer, (2019)Basic Observables for Processes., , und . ICALP, Volume 1256 von Lecture Notes in Computer Science, Seite 482-492. Springer, (1997)Linguistic Abstractions for Programming and Policing Autonomic Computing Systems., , und . UIC/ATC, Seite 404-409. IEEE Computer Society, (2013)Resource Access and Mobility Control with Dynamic Privileges Acquisition., und . ICALP, Volume 2719 von Lecture Notes in Computer Science, Seite 119-132. Springer, (2003)