| Publication | Date of Publication | Type |
|---|
Declarative choreographies and liveness
Formal Techniques for Distributed Objects, Components, and Systems | 2024-02-06 | Paper |
| Transforming dynamic condition response graphs to safe Petri nets | 2023-11-16 | Paper |
Comparing transition systems with independence and asynchronous transition systems
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
Business process compliance using reference models of law
Fundamental Approaches to Software Engineering | 2022-10-13 | Paper |
| Concurrency models with causality and events as psi-calculi | 2020-02-14 | Paper |
Concurrency models with causality and events as psi-calculi
(available as arXiv preprint) | 2020-02-14 | Paper |
Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
FM 2015: Formal Methods | 2019-12-19 | Paper |
A stable non-interleaving early operational semantics for the pi-calculus
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
Replication, refinement \& reachability: complexity in dynamic condition-response graphs
Acta Informatica | 2018-09-06 | Paper |
A stable non-interleaving early operational semantics for the pi-calculus
Language and Automata Theory and Applications | 2017-06-01 | Paper |
Declarative event based models of concurrency and refinement in psi-calculi
Journal of Logical and Algebraic Methods in Programming | 2016-04-20 | Paper |
Type-checking liveness for collaborative processes with bounded and unbounded recursion
Logical Methods in Computer Science | 2016-03-03 | Paper |
Contracts for cross-organizational workflows as timed dynamic condition response graphs
The Journal of Logic and Algebraic Programming | 2014-02-25 | Paper |
| Bigraphical semantics of higher-order mobile embedded resources with local names | 2013-10-07 | Paper |
| A CPS encoding of name-passing in higher-order mobile embedded resources | 2013-09-25 | Paper |
Nested dynamic condition response graphs
Fundamentals of Software Engineering | 2012-06-29 | Paper |
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
Logic Programming | 2009-07-24 | Paper |
On the Construction of Sorted Reactive Systems
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Sortings for Reactive Systems
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
A CPS encoding of name-passing in higher-order mobile embedded resources
Theoretical Computer Science | 2006-05-29 | Paper |
A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science | 2005-02-28 | Paper |
Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay
Theoretical Computer Science | 2003-07-29 | Paper |
| scientific article; zbMATH DE number 1927568 (Why is no real title available?) | 2003-06-12 | Paper |
| Categorical models for concurrency: Independence, fairness and dataflow | 2002-01-16 | Paper |
| scientific article; zbMATH DE number 1497811 (Why is no real title available?) | 2001-03-04 | Paper |
| scientific article; zbMATH DE number 1305006 (Why is no real title available?) | 2000-07-19 | Paper |
| scientific article; zbMATH DE number 1418351 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1059332 (Why is no real title available?) | 1997-09-10 | Paper |
