| Publication | Date of Publication | Type |
|---|
| Pushdown automata and context-free grammars in bisimulation semantics | 2023-12-08 | Paper |
| Bounded stacks, bags and queues | 2023-05-17 | Paper |
| Pushdown Automata and Context-Free Grammars in Bisimulation Semantics | 2023-03-22 | Paper |
| Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity | 2023-02-03 | Paper |
| Discrete time process algebra with abstraction | 2022-12-09 | Paper |
| CONCUR Test-of-time award 2020 announcement | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5014795 | 2021-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4963995 | 2021-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4619824 | 2019-02-07 | Paper |
| Expressiveness modulo bisimilarity of regular expressions with parallel composition | 2017-04-04 | Paper |
| A Generic Process Algebra | 2015-07-10 | Paper |
| A Basic Parallel Process as a Parallel Pushdown Automaton | 2014-07-23 | Paper |
| Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi | 2014-01-17 | Paper |
| Reactive Turing machines | 2014-01-16 | Paper |
| Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination | 2013-04-26 | Paper |
| Reconciling real and stochastic time: the need for probabilistic refinement | 2013-03-22 | Paper |
| Turing Meets Milner | 2012-09-25 | Paper |
| Reactive Turing Machines | 2011-08-19 | Paper |
| Unguardedness mostly means many solutions | 2011-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3404131 | 2010-02-05 | Paper |
| A Process-Theoretic Look at Automata | 2010-01-28 | Paper |
| A characterization of regular expressions under bisimulation | 2008-12-21 | Paper |
| A ground-complete axiomatisation of finite-state processes in a generic process algebra | 2008-12-10 | Paper |
| A Context-Free Process as a Pushdown Automaton | 2008-11-25 | Paper |
| Calculating with Automata | 2008-06-19 | Paper |
| A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification | 2007-09-04 | Paper |
| Duplication of constants in process algebra | 2007-02-09 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Formal Methods for the Design of Real-Time Systems | 2006-10-19 | Paper |
| Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal | 2005-10-17 | Paper |
| A brief history of process algebra | 2005-06-10 | Paper |
| Axiomatizing GSOS with termination | 2004-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736873 | 2004-08-11 | Paper |
| Embedding untimed into timed process algebra: the case for explicit termination | 2004-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760250 | 2003-10-20 | Paper |
| Process algebra with timing | 2002-11-17 | Paper |
| Real time process algebra with time-dependent conditions | 2002-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2779789 | 2002-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760247 | 2002-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769588 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518413 | 2000-11-28 | Paper |
| On sequential composition, action prefixes and process prefix | 2000-08-14 | Paper |
| Real space process algebra | 2000-08-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223007 | 1999-01-07 | Paper |
| Process algebra with propositional signals | 1998-07-23 | Paper |
| Discrete time process algebra | 1996-06-02 | Paper |
| Axiomatizing probabilistic processes: ACP with generative probabilities | 1996-01-22 | Paper |
| Decidability of bisimulation equivalence for process generating context-free languages | 1993-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4029584 | 1993-03-28 | Paper |
| An algebra for process creation | 1993-02-22 | Paper |
| Process Algebra | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4013244 | 1992-09-27 | Paper |
| Recursive process definitions with the state operator | 1991-01-01 | Paper |
| Real time process algebra | 1991-01-01 | Paper |
| Term-rewriting systems with rule priorities | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732097 | 1989-01-01 | Paper |
| Global renaming operators in concrete process algebra | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3820057 | 1988-01-01 | Paper |
| On the consistency of Koomen's fair abstraction rule | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3761680 | 1987-01-01 | Paper |
| Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774929 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776606 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3805891 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3734393 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4727412 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5187271 | 1984-01-01 | Paper |
