| Publication | Date of Publication | Type |
|---|
| Store locally, prove globally | 2024-09-13 | Paper |
| Fault-tolerant multiparty session types | 2024-01-16 | Paper |
| Decoding choice encodings | 2023-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5101352 | 2022-08-30 | Paper |
| Fault-tolerant multiparty session types | 2022-08-19 | Paper |
| Session types for link failures | 2022-06-15 | Paper |
| On distributability | 2022-04-07 | Paper |
| On the distributability of mobile ambients | 2021-12-17 | Paper |
| Encoding CSP into CCS | 2021-12-03 | Paper |
| A game for linear-time-branching-time spectroscopy | 2021-08-04 | Paper |
| States in process calculi | 2021-06-23 | Paper |
| Matching in the pi-calculus | 2021-06-23 | Paper |
| Adding priority to event structures | 2021-06-09 | Paper |
| Synchrony vs causality in the asynchronous \(\pi\)-calculus | 2021-03-10 | Paper |
| Breaking symmetries | 2021-02-24 | Paper |
| Distributability of mobile ambients | 2020-12-15 | Paper |
| Coupled similarity: the first 32 years | 2020-05-26 | Paper |
| Taming concurrency for verification using multiparty session types | 2019-12-12 | Paper |
| Dynamic Causality in Event Structures | 2018-04-25 | Paper |
| Topological Self-Stabilization with Name-Passing Process Calculi | 2018-03-21 | Paper |
| Synchrony versus causality in distributed systems | 2017-04-04 | Paper |
| Breaking symmetries | 2017-04-04 | Paper |
| Mechanical Verification of a Constructive Proof for FLP | 2016-10-27 | Paper |
| Dynamic Causality in Event Structures | 2016-10-19 | Paper |
| Full abstraction for expressiveness: history, myths and facts | 2016-07-28 | Paper |
| Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively | 2016-03-29 | Paper |
| Higher-order dynamics in event structures | 2016-02-25 | Paper |
| Much ado about nothing? | 2015-07-10 | Paper |
| Open bisimulation, revisited | 2013-10-07 | Paper |
| On distributability in process calculi | 2013-08-05 | Paper |
| Formal Verification of Distributed Algorithms | 2012-09-21 | Paper |
| Is it a ``good encoding of mixed choice? | 2012-06-22 | Paper |
| Rigorous discretization of hybrid systems using process calculi | 2011-10-07 | Paper |
| On bisimulations for the spi calculus | 2011-05-06 | Paper |
| Modeling consensus in a process calculus. | 2010-03-30 | Paper |
| Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation | 2009-08-11 | Paper |
| Business process specification and analysis | 2009-03-09 | Paper |
| Open bisimulation, revisited | 2007-12-19 | Paper |
| A formal semantics for protocol narrations | 2007-12-14 | Paper |
| Distributed consensus, revisited | 2007-10-31 | Paper |
| Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi | 2007-09-04 | Paper |
| Trustworthy Global Computing | 2006-11-01 | Paper |
| Mobile objects as mobile processes | 2006-08-03 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| Global Computing | 2005-08-19 | Paper |
| On bisimulations for the spi calculus | 2005-08-03 | Paper |
| What is a ``good encoding of guarded choice? | 2003-01-14 | Paper |
| Decoding choice encodings | 2003-01-14 | Paper |
| Aliasing models for mobile objects | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536438 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790349 | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223013 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222921 | 1998-12-21 | Paper |
