| Publication | Date of Publication | Type |
|---|
| Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies | 2024-03-14 | Paper |
| PALM: A Technique for Process ALgebraic Specification Mining | 2023-03-21 | Paper |
| scientific article; zbMATH DE number 7447773 (Why is no real title available?) | 2021-12-17 | Paper |
Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
| A criterion for separating process calculi | 2021-02-24 | Paper |
Replacement freeness: a criterion for separating process calculi
Journal of Logical and Algebraic Methods in Programming | 2020-11-09 | Paper |
| scientific article; zbMATH DE number 7269254 (Why is no real title available?) | 2020-11-03 | Paper |
A formal approach to the engineering of domain-specific distributed systems
Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
| Causal-consistent reversibility | 2019-07-03 | Paper |
Causal-consistent rollback in a tuple-based language
Journal of Logical and Algebraic Methods in Programming | 2017-03-20 | Paper |
A language-based approach to modelling and analysis of Twitter interactions
Journal of Logical and Algebraic Methods in Programming | 2017-02-22 | Paper |
Reversing single sessions
Reversible Computation | 2016-08-10 | Paper |
Reversible session-based pi-calculus
Journal of Logical and Algebraic Methods in Programming | 2015-08-21 | Paper |
Programming autonomic systems with multiple constraint stores
Software, Services, and Systems | 2015-06-22 | Paper |
Programming and verifying component ensembles
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design | 2011-05-23 | Paper |
An accessible verification environment for UML models of services
Journal of Symbolic Computation | 2011-01-14 | Paper |
On Observing Dynamic Prioritised Actions in SOC
Automata, Languages and Programming | 2009-07-14 | Paper |
C WS: A Timed Service-Oriented Calculus
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
Regulating Data Exchange in Service Oriented Applications
Lecture Notes in Computer Science | 2008-07-01 | Paper |
Specifying and Analysing SOC Applications with COWS
Concurrency, Graphs and Models | 2008-06-19 | Paper |
A Calculus for Orchestration of Web Services
Programming Languages and Systems | 2007-09-04 | Paper |
