Autor der Publikation

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain.

, , , , , und . ACM Trans. Manag. Inf. Syst., 13 (3): 31:1-31:53 (2022)

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

Ethereum smart contracts: Analysis and statistics of their source code and opcodes., , , , , und . Internet Things, (2020)Consistent modelling of hierarchical BPMN collaborations., , , , und . Bus. Process. Manag. J., 28 (2): 442-460 (2022)Formalising and animating multiple instances in BPMN collaborations., , , , und . Inf. Syst., (2022)A formal approach for the analysis of BPMN collaboration models., , , , , und . J. Syst. Softw., (2021)BPMN 2.0 OR-Join Semantics: Global and local characterisation., , , , und . Inf. Syst., (2022)A Symbolic Semantics for a Calculus for Service-Oriented Computing., , und . PLACES@DisCoTec, Volume 241 von Electronic Notes in Theoretical Computer Science, Seite 135-164. Elsevier, (2008)A Purpose-Guided Log Generation Framework., , , und . BPM, Volume 13420 von Lecture Notes in Computer Science, Seite 181-198. Springer, (2022)Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review., , , , , und . Business Process Management Workshops, Volume 397 von Lecture Notes in Business Information Processing, Seite 108-121. Springer, (2020)BProVe: tool support for business process verification., , , , , und . ASE, Seite 937-942. IEEE Computer Society, (2017)A Calculus for Orchestration of Web Services., , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 33-47. Springer, (2007)