| Publication | Date of Publication | Type |
|---|
| Remark on Some $$\pi $$ Variants | 2022-11-04 | Paper |
| How faithfully can π be interpreted in SA? | 2021-12-15 | Paper |
| Counting nondeterministic computations | 2021-12-01 | Paper |
| A thesis for interaction | 2021-12-01 | Paper |
| Model independent approach to probabilistic models | 2021-05-10 | Paper |
| A note on the Knaster-Tarski fixpoint theorem | 2020-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111635 | 2020-05-27 | Paper |
| Extensional Petri net | 2019-03-13 | Paper |
| Place bisimulation and liveness for open Petri nets | 2018-08-16 | Paper |
| A proof theoretical approach to communication | 2018-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4596788 | 2017-12-11 | Paper |
| Non-deterministic structures of computation | 2016-07-27 | Paper |
| Theory of interaction | 2015-12-15 | Paper |
| Branching Bisimilarity Checking for PRS | 2014-07-01 | Paper |
| A model in {\(\kappa\)} for DNA addition | 2013-12-06 | Paper |
| The Value-Passing Calculus | 2013-08-16 | Paper |
| Checking Equality and Regularity for Normed BPA with Silent Moves | 2013-08-07 | Paper |
| Decidability of Behavioral Equivalences in Process Calculi with Name Scoping | 2012-06-29 | Paper |
| The λ-calculus in the π-calculus | 2011-10-21 | Paper |
| Theory by process | 2010-08-31 | Paper |
| On the expressiveness of interaction | 2010-03-29 | Paper |
| Observing asymmetry and mismatch. | 2010-01-05 | Paper |
| A general approach for building combinationalPautomata | 2007-12-12 | Paper |
| Fair ambients | 2007-04-19 | Paper |
| A functional presentation of pi calculus | 2007-02-20 | Paper |
| A schematic axiom for open congruence | 2007-02-20 | Paper |
| On the internal structures of inductive types | 2007-02-20 | Paper |
| Computational and Information Science | 2006-10-10 | Paper |
| Computational and Information Science | 2006-10-10 | Paper |
| Computational and Information Science | 2006-10-10 | Paper |
| On quasi-open bisimulation | 2005-06-30 | Paper |
| Tau laws for pi calculus | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472461 | 2004-08-04 | Paper |
| Bisimulation congruence of \(\chi\)-calculus | 2003-07-29 | Paper |
| Testing congruence for mobile processes | 2003-02-02 | Paper |
| Understanding the mismatch combinator in chi calculus | 2003-01-21 | Paper |
| Semantics of constructions. II: The initial algebraic approach | 2002-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4543303 | 2002-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536631 | 2002-06-25 | Paper |
| Meta model of concurrent computation. I: Graph Model | 2001-06-19 | Paper |
| Meta model of concurrent computation. II: Symmetric communication | 2001-06-19 | Paper |
| Meta model of concurrent computation. III: Bisimulation lattice | 2001-06-19 | Paper |
| Semantics of constructions. I: The traditional approach | 2001-06-19 | Paper |
| Relative properties of frame language | 2000-04-10 | Paper |
| Variations on mobile processes | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270066 | 1999-11-10 | Paper |
| Reaction graph | 1998-12-02 | Paper |
| Structures definable in polymorphism | 1998-12-02 | Paper |
| Symmetric \(\pi\)-calculus | 1998-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4369920 | 1998-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4369916 | 1998-01-14 | Paper |
| Constructive sets in computable sets | 1998-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4880141 | 1998-01-13 | Paper |
| Categorical properties of logical frameworks | 1997-02-25 | Paper |
