| Publication | Date of Publication | Type |
|---|
Causal reversibility in nondeterministic process calculi extended with time or probabilities
Theoretical Computer Science | 2026-01-05 | Paper |
| Alternative characterizations of hereditary history-preserving bisimilarity via backward ready multisets | 2025-12-04 | Paper |
| Modal logic characterizations of forward, reverse, and forward-reverse bisimilarities | 2025-08-19 | Paper |
| Expansion laws for forward-reverse, forward, and reverse bisimilarities via proved encodings | 2025-08-19 | Paper |
| Reversibility in process calculi with nondeterminism and probabilities | 2025-05-23 | Paper |
| Component-oriented specification of performance measures | 2025-03-11 | Paper |
| Uniform logical characterizations of testing equivalences for nondeterministic, probabilistic and Markovian processes | 2025-03-11 | Paper |
| Expected-delay-summing weak bisimilarity for Markov automata | 2025-02-06 | Paper |
Noninterference analysis of reversible systems: an approach based on branching bisimilarity
Logical Methods in Computer Science | 2025-01-31 | Paper |
| Causal reversibility implies time reversibility | 2024-05-29 | Paper |
| Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity | 2024-05-03 | Paper |
Genesis and evolution of \textsc{ULTraS}: metamodel, metaequivalences, metaresults
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
| Branching bisimulation semantics enables noninterference analysis of reversible systems | 2024-01-11 | Paper |
Reverse bisimilarity vs. forward bisimilarity
Lecture Notes in Computer Science | 2023-11-24 | Paper |
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
Logical Methods in Computer Science | 2023-08-26 | Paper |
Extended Markovian Process Algebra
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
Towards bridging time and causal reversibility
Formal Techniques for Distributed Objects, Components, and Systems | 2022-10-13 | Paper |
| Alternative characterizations of probabilistic trace equivalences on coherent resolutions of nondeterminism | 2021-12-08 | Paper |
| Towards general axiomatizations for bisimilarity and trace semantics | 2021-10-27 | Paper |
The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes
(available as arXiv preprint) | 2021-06-09 | Paper |
| The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes | 2021-06-09 | Paper |
scientific article; zbMATH DE number 7333244 (Why is no real title available?)
(available as arXiv preprint) | 2021-04-14 | Paper |
| scientific article; zbMATH DE number 7333244 (Why is no real title available?) | 2021-04-14 | Paper |
| On the expressiveness of Markovian process calculi with durational and durationless actions | 2021-02-16 | Paper |
Constructive logical characterizations of bisimilarity for reactive probabilistic systems
Theoretical Computer Science | 2019-03-13 | Paper |
An algebra-based method to associate rewards with EMPA terms
Automata, Languages and Programming | 2018-07-04 | Paper |
On the discriminating power of passivation and higher-order interaction
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
\textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics
Journal of Logical and Algebraic Methods in Programming | 2017-12-01 | Paper |
Symbolic semantic rules for producing compact STGLAs from value passing process descriptions
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Group-by-group probabilistic bisimilarities and their logical characterizations
Trustworthy Global Computing | 2016-11-09 | Paper |
Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
Theoretical Computer Science | 2016-05-27 | Paper |
Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
Acta Informatica | 2015-03-02 | Paper |
On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi
Theoretical Computer Science | 2014-12-12 | Paper |
Relating strong behavioral equivalences for processes with nondeterminism and probabilities
Theoretical Computer Science | 2014-07-25 | Paper |
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
Logical Methods in Computer Science | 2014-03-24 | Paper |
| Modal logic characterization of Markovian testing and trace equivalences | 2013-12-04 | Paper |
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
Information and Computation | 2013-11-29 | Paper |
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
A survey of Markovian behavioral equivalences
Formal Methods for Performance Evaluation | 2011-03-25 | Paper |
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
Foundations and Applications of Security Analysis | 2009-10-22 | Paper |
| A process algebraic approach to software architecture design | 2009-09-10 | Paper |
Towards State Space Reduction Based on T-Lumpability-Consistent Relations
Computer Performance Engineering | 2008-12-02 | Paper |
A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
Mathematical Structures in Computer Science | 2008-04-10 | Paper |
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
Lecture Notes in Computer Science | 2007-11-28 | Paper |
Mixing logics and rewards for the component-oriented specification of performance measures
Theoretical Computer Science | 2007-09-03 | Paper |
Non-bisimulation-based Markovian behavioral equivalences
The Journal of Logic and Algebraic Programming | 2007-07-16 | Paper |
On the usability of process algebra: An architectural view
Theoretical Computer Science | 2005-06-10 | Paper |
| scientific article; zbMATH DE number 2087389 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087515 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1946766 (Why is no real title available?) | 2003-07-07 | Paper |
| scientific article; zbMATH DE number 1884417 (Why is no real title available?) | 2003-03-18 | Paper |
Performance measure sensitive congruences for Markovian process algebras
Theoretical Computer Science | 2003-01-21 | Paper |
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1759619 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1629934 (Why is no real title available?) | 2001-10-23 | Paper |
The discrete Painlevé I equations: transcendental integrability and asymptotic solutions.
Journal of Physics A: Mathematical and General | 2001-09-04 | Paper |
Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time''
Theoretical Computer Science | 2001-08-23 | Paper |
| Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time | 2001-05-08 | Paper |
Formal performance modelling and evaluation of an adaptive mechanism for packetised audio over the internet
Formal Aspects of Computing | 1999-07-26 | Paper |
A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
Information and Computation | 1999-03-30 | Paper |
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
Theoretical Computer Science | 1998-08-13 | Paper |
