| Publication | Date of Publication | Type |
|---|
| Axiomatizing Team Equivalence for Finite-State Machines | 2024-03-14 | Paper |
| Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets | 2024-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6168442 | 2023-08-08 | Paper |
| Extended Markovian Process Algebra | 2023-06-28 | Paper |
| On relating some models for concurrency | 2022-11-02 | Paper |
| Interleaving vs True Concurrency: Some Instructive Security Examples | 2022-09-01 | Paper |
| A Study on Team Bisimulations for BPP Nets | 2022-09-01 | Paper |
| Branching place bisimilarity: a decidable behavioral equivalence for finite Petri nets with silent moves | 2022-03-21 | Paper |
| A study on team bisimulation and H-team bisimulation for BPP nets | 2021-12-01 | Paper |
| Causal Semantics for BPP Nets with Silent Moves | 2021-11-15 | Paper |
| Team bisimilarity, and its associated modal logic, for BPP nets | 2021-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964000 | 2021-02-24 | Paper |
| Team equivalences for finite-state machines with silent moves | 2020-12-15 | Paper |
| Verification of finite-state machines: a distributed approach | 2018-04-06 | Paper |
| CCS(25,12) is Turing-complete | 2018-01-19 | Paper |
| Process algebras for Petri nets. The alphabetization of distributed systems | 2017-09-26 | Paper |
| Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement | 2017-06-13 | Paper |
| A formalization of credit and responsibility within the GNDC schema | 2016-05-06 | Paper |
| Language Representability of Finite P/T Nets | 2016-01-08 | Paper |
| Introduction to concurrency theory. Transition systems and CCS | 2015-12-16 | Paper |
| Techniques for security checking: non-interference vs control flow analysis | 2013-07-24 | Paper |
| Formal models of timing attacks on web privacy | 2013-07-24 | Paper |
| An operational Petri net semantics for \(\text{A}^{2}\text{CCS}\) | 2012-07-04 | Paper |
| On Intransitive Non-interference in Some Models of Concurrency | 2011-09-16 | Paper |
| Performance preorder: Ordering processes with respect to speed | 2010-06-17 | Paper |
| An expressiveness study of priority in process calculi | 2010-01-12 | Paper |
| Formal Methods for Open Object-Based Distributed Systems | 2010-01-12 | Paper |
| Structural non-interference in elementary and trace nets | 2010-01-12 | Paper |
| Formal models and analysis of secure multicast in wired and wireless networks | 2009-11-25 | Paper |
| On the Relationship between π-Calculus and Finite Place/Transition Petri Nets | 2009-10-22 | Paper |
| Foundations of Security Analysis and Design II | 2009-05-14 | Paper |
| Foundations of Security Analysis and Design II | 2009-05-14 | Paper |
| Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS | 2009-03-20 | Paper |
| On the Expressive Power of Global and Local Priority in Process Calculi | 2008-09-18 | Paper |
| Ugo Montanari and Concurrency Theory | 2008-06-19 | Paper |
| Mathematical Foundations of Computer Science 2003 | 2007-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3413369 | 2007-01-04 | Paper |
| Coordination Models and Languages | 2006-01-10 | Paper |
| Quantitative information in the tuple space coordination model | 2005-12-29 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| Applications and Theory of Petri Nets 2004 | 2005-12-23 | Paper |
| Global Computing | 2005-08-19 | Paper |
| A simple framework for real-time cryptographic protocol analysis with compositional proof rules | 2004-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813196 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417888 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798029 | 2003-03-18 | Paper |
| A comparison of three authentication properties. | 2003-01-22 | Paper |
| Unified specification and performance evaluation using stochastic process algebras | 2003-01-21 | Paper |
| On the expressiveness of Linda coordination primitives. | 2003-01-14 | Paper |
| Vertical implementation | 2003-01-14 | Paper |
| The theory of interactive generalized semi-Markov processes | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4330563 | 2002-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771054 | 2002-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767180 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767175 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754157 | 2001-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754193 | 2001-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736365 | 2001-08-29 | Paper |
| Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time | 2001-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499198 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499293 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762643 | 2001-02-22 | Paper |
| Action refinement. | 2001-01-01 | Paper |
| Comparing three semantics for Linda-like languages | 2000-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490738 | 2000-07-20 | Paper |
| Formal performance modelling and evaluation of an adaptive mechanism for packetised audio over the internet | 1999-07-26 | Paper |
| A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems | 1999-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222913 | 1998-12-21 | Paper |
| A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time | 1998-08-13 | Paper |
| A process algebraic view of Linda coordination primitives | 1998-08-13 | Paper |
| Performance preorder and competitive equivalence | 1997-09-11 | Paper |
| A theory of processes with durational actions | 1997-02-28 | Paper |
| On the implementation of concurrent calculi in net calculi: two case studies | 1997-02-28 | Paper |
| Comparing syntactic and semantic action refinement | 1996-07-03 | Paper |
| A causal operational semantics of action refinement | 1995-10-30 | Paper |
| Split and ST bisimulation semantics | 1995-07-10 | Paper |
| Distributed Logic Programming | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035238 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035233 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4018071 | 1993-01-16 | Paper |
| TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING | 1990-01-01 | Paper |
| A\(^ 2\)CCS: Atomic actions for CCS | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3821598 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3792236 | 1988-01-01 | Paper |
