| Publication | Date of Publication | Type |
|---|
| A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice | 2024-03-14 | Paper |
| Stronger Validity Criteria for Encoding Synchrony | 2024-03-14 | Paper |
| Reward testing equivalences for processes | 2024-02-23 | Paper |
| Comparing the Expressiveness of the π-calculus and CCS | 2024-02-21 | Paper |
| Just testing | 2023-11-24 | Paper |
| A process algebra for link layer protocols | 2023-11-24 | Paper |
| Modelling mutual exclusion in a process algebra with time-outs | 2023-09-27 | Paper |
| CONCUR Test-Of-Time Award 2021 (Invited Paper) | 2023-08-21 | Paper |
| Enabling Preserving Bisimulation Equivalence | 2023-08-21 | Paper |
| Comparing the expressiveness of the \(\pi \)-calculus and CCS | 2023-08-03 | Paper |
| Fair must testing for I/O automata | 2023-07-26 | Paper |
| Analysing AWN-Specifications Using mCRL2 (Extended Abstract) | 2023-06-28 | Paper |
| Cross-chain payment protocols with success guarantees | 2023-06-19 | Paper |
| Axiomatizing flat iteration | 2023-05-17 | Paper |
| Reactive bisimulation semantics for a process algebra with timeouts | 2023-03-01 | Paper |
| Abstract processes in the absence of conflicts in general place/transition systems | 2022-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089269 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020945 | 2022-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3385651 | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5014797 | 2021-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013871 | 2021-12-03 | Paper |
| Abstract processes and conflicts in place/transition systems | 2021-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5009414 | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4989406 | 2021-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986261 | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4965811 | 2021-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144689 | 2021-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5119395 | 2020-09-04 | Paper |
| Divide and congruence III: Stability & divergence | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111193 | 2020-05-26 | Paper |
| Justness. A completeness criterion for capturing liveness properties (extended abstract) | 2020-01-28 | Paper |
| Ensuring liveness properties of distributed systems: open problems | 2019-11-28 | Paper |
| Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence | 2019-09-17 | Paper |
| Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours | 2018-12-19 | Paper |
| A theory of encodings and expressiveness (extended abstract) | 2018-07-17 | Paper |
| On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus | 2018-06-15 | Paper |
| Divide and Congruence II | 2018-04-23 | Paper |
| A branching time model of CSP | 2018-03-26 | Paper |
| Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity | 2017-11-16 | Paper |
| Precongruence formats for decorated trace semantics | 2017-07-12 | Paper |
| Proof nets for unit-free multiplicative-additive linear logic | 2017-07-12 | Paper |
| Modelling and verifying the AODV routing protocol | 2016-10-17 | Paper |
| Mechanizing a process algebra for network protocols | 2016-05-26 | Paper |
| A Timed Process Algebra for Wireless Networks with an Application in Routing | 2016-04-26 | Paper |
| A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol | 2015-12-17 | Paper |
| Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP | 2015-11-04 | Paper |
| On the Axiomatizability of Impossible Futures | 2015-10-29 | Paper |
| On Specifying Timeouts | 2015-07-10 | Paper |
| CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions | 2015-04-16 | Paper |
| Showing Invariance Compositionally for a Process Algebra for Network Protocols | 2014-09-08 | Paper |
| Symmetric and Asymmetric Asynchronous Interaction | 2014-06-27 | Paper |
| Real-reward testing for probabilistic processes | 2014-06-06 | Paper |
| Remarks on Testing Probabilistic Processes | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852097 | 2013-10-07 | Paper |
| On Characterising Distributability | 2013-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848133 | 2013-09-25 | Paper |
| Abstract processes of place/transition systems | 2013-04-04 | Paper |
| Preface | 2013-03-22 | Paper |
| A Process Algebra for Wireless Mesh Networks | 2012-06-22 | Paper |
| On Distributability of Petri Nets | 2012-06-22 | Paper |
| Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity | 2012-05-24 | Paper |
| On Causal Semantics of Petri Nets | 2011-09-02 | Paper |
| On cool congruence formats for weak bisimulations | 2011-07-07 | Paper |
| The Coarsest Precongruences Respecting Safety and Liveness Properties | 2010-10-27 | Paper |
| On CSP and the Algebraic Theory of Effects | 2010-10-26 | Paper |
| Characterising Probabilistic Processes Logically | 2010-10-12 | Paper |
| Ready to preorder: the case of weak process semantics | 2010-06-09 | Paper |
| Fundamentals of Computation Theory | 2010-04-20 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Computation Tree Logic with Deadlock Detection | 2010-01-28 | Paper |
| Testing Finitary Probabilistic Processes | 2009-10-22 | Paper |
| Configuration structures, event structures and Petri nets | 2009-09-29 | Paper |
| Branching Bisimilarity with Explicit Divergence | 2009-09-29 | Paper |
| Characterising Testing Preorders for Finite Probabilistic Processes | 2009-04-29 | Paper |
| Five Determinisation Algorithms | 2009-02-12 | Paper |
| On Finite Bases for Weak Semantics: Failures Versus Impossible Futures | 2009-02-03 | Paper |
| On Synchronous and Asynchronous Interaction in Distributed Systems | 2009-02-03 | Paper |
| Correcting a Space-Efficient Simulation Algorithm | 2008-07-15 | Paper |
| Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation | 2007-09-11 | Paper |
| Scalar Outcomes Suffice for Finitary Probabilistic Testing | 2007-09-04 | Paper |
| Liveness, Fairness and Impossible Futures | 2007-09-04 | Paper |
| Erratum to ``On the expressiveness of higher dimensional automata | 2007-01-22 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| On the expressiveness of higher dimensional automata | 2006-05-29 | Paper |
| Compositionality of Hennessy-Milner logic by structural operational semantics | 2006-04-28 | Paper |
| Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
| Well-behaved flow event structures for parallel composition and action refinement | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818861 | 2004-09-24 | Paper |
| The meaning of negative premises in transition system specifications. II | 2004-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045273 | 2004-08-12 | Paper |
| Nested semantics over finite trees are equationally hard | 2004-08-06 | Paper |
| Refinement of actions and equivalence notions for concurrent systems | 2001-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760238 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790408 | 2001-01-01 | Paper |
| Notes on the methodology of CCS and CSP | 1998-07-23 | Paper |
| Branching time and abstraction in bisimulation semantics | 1998-01-21 | Paper |
| The difference between splitting in \(n\) and \(n+1\) | 1997-10-26 | Paper |
| Axiomatizing prefix iteration with silent steps | 1996-11-25 | Paper |
| \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules | 1996-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4874391 | 1996-04-23 | Paper |
| Reactive, generative, and stratified models of probabilistic processes | 1995-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4299862 | 1995-04-04 | Paper |
| Modular specification of process algebras | 1993-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975146 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732097 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3753475 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3761680 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3771632 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776606 | 1987-01-01 | Paper |
