| Publication | Date of Publication | Type |
|---|
| Compositional interface refinement through subtyping in probabilistic session types | 2026-03-20 | Paper |
| Store locally, prove globally | 2024-09-13 | Paper |
FTMPST: fault-tolerant multiparty session types
Logical Methods in Computer Science | 2024-01-16 | Paper |
Decoding choice encodings
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy
(available as arXiv preprint) | 2022-08-30 | Paper |
| Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy | 2022-08-30 | Paper |
Fault-tolerant multiparty session types
Lecture Notes in Computer Science | 2022-08-19 | Paper |
Session types for link failures
Formal Techniques for Distributed Objects, Components, and Systems | 2022-06-15 | Paper |
Session types for link failures
Formal Techniques for Distributed Objects, Components, and Systems | 2022-06-15 | Paper |
On distributability
Theoretical Computer Science | 2022-04-07 | Paper |
| On the distributability of mobile ambients | 2021-12-17 | Paper |
Encoding CSP into CCS
(available as arXiv preprint) | 2021-12-03 | Paper |
| Encoding CSP into CCS | 2021-12-03 | Paper |
A game for linear-time-branching-time spectroscopy
(available as arXiv preprint) | 2021-08-04 | Paper |
Matching in the pi-calculus
(available as arXiv preprint) | 2021-06-23 | Paper |
| Matching in the pi-calculus | 2021-06-23 | Paper |
States in process calculi
(available as arXiv preprint) | 2021-06-23 | Paper |
| States in process calculi | 2021-06-23 | Paper |
Adding priority to event structures
(available as arXiv preprint) | 2021-06-09 | Paper |
| Adding priority to event structures | 2021-06-09 | Paper |
Synchrony vs causality in the asynchronous -calculus
(available as arXiv preprint) | 2021-03-10 | Paper |
| Synchrony vs causality in the asynchronous -calculus | 2021-03-10 | Paper |
Breaking symmetries
(available as arXiv preprint) | 2021-02-24 | Paper |
| Breaking symmetries | 2021-02-24 | Paper |
Distributability of mobile ambients
Information and Computation | 2020-12-15 | Paper |
Coupled similarity: the first 32 years
Acta Informatica | 2020-05-26 | Paper |
Taming concurrency for verification using multiparty session types
(available as arXiv preprint) | 2019-12-12 | Paper |
Dynamic causality in event structures
Logical Methods in Computer Science | 2018-04-25 | Paper |
| Topological Self-Stabilization with Name-Passing Process Calculi | 2018-03-21 | Paper |
Breaking symmetries
Mathematical Structures in Computer Science | 2017-04-04 | Paper |
Synchrony versus causality in distributed systems
Mathematical Structures in Computer Science | 2017-04-04 | Paper |
Mechanical Verification of a Constructive Proof for FLP
Interactive Theorem Proving | 2016-10-27 | Paper |
Dynamic causality in event structures
Lecture Notes in Computer Science | 2016-10-19 | Paper |
Full abstraction for expressiveness: history, myths and facts
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively
Discrete Event Dynamic Systems | 2016-03-29 | Paper |
Higher-order dynamics in event structures
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
Much ado about nothing?
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
| Open bisimulation, revisited | 2013-10-07 | Paper |
On distributability in process calculi
Programming Languages and Systems | 2013-08-05 | Paper |
Formal Verification of Distributed Algorithms
Lecture Notes in Computer Science | 2012-09-21 | Paper |
Is it a ``good'' encoding of mixed choice?
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
Rigorous discretization of hybrid systems using process calculi
Lecture Notes in Computer Science | 2011-10-07 | Paper |
On bisimulations for the spi calculus
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
Modeling consensus in a process calculus.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
Lecture Notes in Computer Science | 2009-08-11 | Paper |
| Business process specification and analysis | 2009-03-09 | Paper |
Open bisimulation, revisited
Theoretical Computer Science | 2007-12-19 | Paper |
A formal semantics for protocol narrations
Theoretical Computer Science | 2007-12-14 | Paper |
Distributed consensus, revisited
Acta Informatica | 2007-10-31 | Paper |
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
Trustworthy Global Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Mobile objects as mobile processes
Information and Computation | 2006-08-03 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
Global Computing
Lecture Notes in Computer Science | 2005-08-19 | Paper |
On bisimulations for the spi calculus
Mathematical Structures in Computer Science | 2005-08-03 | Paper |
What is a ``good'' encoding of guarded choice?
Information and Computation | 2003-01-14 | Paper |
Decoding choice encodings
Information and Computation | 2003-01-14 | Paper |
Aliasing models for mobile objects
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1759484 (Why is no real title available?) | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 1860622 (Why is no real title available?) | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1231684 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1231600 (Why is no real title available?) | 1998-12-21 | Paper |
