| Publication | Date of Publication | Type |
|---|
Syntax and semantics of Petri nets
Cambridge Tracts in Theoretical Computer Science | 2025-06-23 | Paper |
An algebraic theory of nondeterministic finite automata
Journal of Logical and Algebraic Methods in Programming | 2025-05-15 | Paper |
| Axiomatizing Team Equivalence for Finite-State Machines | 2024-03-14 | Paper |
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
Logical Methods in Computer Science | 2024-01-16 | Paper |
scientific article; zbMATH DE number 7724201 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-08 | Paper |
Extended Markovian Process Algebra
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
On relating some models for concurrency
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Interleaving vs True Concurrency: Some Instructive Security Examples
Application and Theory of Petri Nets and Concurrency | 2022-09-01 | Paper |
A Study on Team Bisimulations for BPP Nets
Application and Theory of Petri Nets and Concurrency | 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
Theoretical Computer Science | 2021-12-01 | Paper |
Causal Semantics for BPP Nets with Silent Moves
Fundamenta Informaticae | 2021-11-15 | Paper |
Team bisimilarity, and its associated modal logic, for BPP nets
Acta Informatica | 2021-09-30 | Paper |
| A process calculus for expressing finite place/transition Petri nets | 2021-02-24 | Paper |
A process calculus for expressing finite place/transition Petri nets
(available as arXiv preprint) | 2021-02-24 | Paper |
Team equivalences for finite-state machines with silent moves
Information and Computation | 2020-12-15 | Paper |
Verification of finite-state machines: a distributed approach
Journal of Logical and Algebraic Methods in Programming | 2018-04-06 | Paper |
CCS(25,12) is Turing-complete
Fundamenta Informaticae | 2018-01-19 | Paper |
Process algebras for Petri nets. The alphabetization of distributed systems
Monographs in Theoretical Computer Science. An EATCS Series | 2017-09-26 | Paper |
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
A formalization of credit and responsibility within the GNDC schema
Electronic Notes in Theoretical Computer Science | 2016-05-06 | Paper |
Language representability of finite P/T nets
Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
Introduction to concurrency theory. Transition systems and CCS
Texts in Theoretical Computer Science. An EATCS Series | 2015-12-16 | Paper |
Techniques for security checking: non-interference vs control flow analysis
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Formal models of timing attacks on web privacy
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
An operational Petri net semantics for \(\text{A}^{2}\text{CCS}\)
Fundamenta Informaticae | 2012-07-04 | Paper |
On intransitive non-interference in some models of concurrency
Foundations of Security Analysis and Design VI | 2011-09-16 | Paper |
Performance preorder: ordering processes with respect to speed
Lecture Notes in Computer Science | 2010-06-17 | Paper |
An expressiveness study of priority in process calculi
Mathematical Structures in Computer Science | 2010-01-12 | Paper |
Formal analysis of some timed security properties in wireless protocols.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
Structural non-interference in elementary and trace nets
Mathematical Structures in Computer Science | 2010-01-12 | Paper |
Formal models and analysis of secure multicast in wired and wireless networks
Journal of Automated Reasoning | 2009-11-25 | Paper |
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Foundations of Security Analysis and Design II
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Foundations of Security Analysis and Design II
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
The Journal of Logic and Algebraic Programming | 2009-03-20 | Paper |
On the Expressive Power of Global and Local Priority in Process Calculi
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Ugo Montanari and Concurrency Theory
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Mathematical Foundations of Computer Science 2003
Lecture Notes in Computer Science | 2007-12-07 | Paper |
| Supporting secure coordination in SecSpaces | 2007-01-04 | Paper |
Coordination Models and Languages
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Quantitative information in the tuple space coordination model
Theoretical Computer Science | 2005-12-29 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Applications and Theory of Petri Nets 2004
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Global Computing
Lecture Notes in Computer Science | 2005-08-19 | Paper |
A simple framework for real-time cryptographic protocol analysis with compositional proof rules
Science of Computer Programming | 2004-11-22 | Paper |
| scientific article; zbMATH DE number 2090701 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 1956549 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1884409 (Why is no real title available?) | 2003-03-18 | Paper |
A comparison of three authentication properties.
Theoretical Computer Science | 2003-01-22 | Paper |
Unified specification and performance evaluation using stochastic process algebras
Performance Evaluation | 2003-01-21 | Paper |
On the expressiveness of Linda coordination primitives.
Information and Computation | 2003-01-14 | Paper |
Vertical implementation
Information and Computation | 2003-01-14 | Paper |
The theory of interactive generalized semi-Markov processes
Theoretical Computer Science | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1739897 (Why is no real title available?) | 2002-05-13 | Paper |
| scientific article; zbMATH DE number 1705160 (Why is no real title available?) | 2002-02-14 | Paper |
| scientific article; zbMATH DE number 1696894 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1696890 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1670837 (Why is no real title available?) | 2001-12-09 | Paper |
| scientific article; zbMATH DE number 1670867 (Why is no real title available?) | 2001-12-06 | Paper |
| scientific article; zbMATH DE number 1638667 (Why is no real title available?) | 2001-08-29 | 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 |
| scientific article; zbMATH DE number 1497781 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1497862 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1569118 (Why is no real title available?) | 2001-02-22 | Paper |
| Action refinement. | 2001-01-01 | Paper |
Comparing three semantics for Linda-like languages
Theoretical Computer Science | 2000-08-21 | Paper |
| scientific article; zbMATH DE number 1479625 (Why is no real title available?) | 2000-07-20 | 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 |
| scientific article; zbMATH DE number 1231593 (Why is no real title available?) | 1998-12-21 | Paper |
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
Theoretical Computer Science | 1998-08-13 | Paper |
A process algebraic view of Linda coordination primitives
Theoretical Computer Science | 1998-08-13 | Paper |
Performance preorder and competitive equivalence
Acta Informatica | 1997-09-11 | Paper |
A theory of processes with durational actions
Theoretical Computer Science | 1997-02-28 | Paper |
On the implementation of concurrent calculi in net calculi: two case studies
Theoretical Computer Science | 1997-02-28 | Paper |
Comparing syntactic and semantic action refinement
Information and Computation | 1996-07-03 | Paper |
A causal operational semantics of action refinement
Information and Computation | 1995-10-30 | Paper |
Split and ST bisimulation semantics
Information and Computation | 1995-07-10 | Paper |
Distributed Logic Programming
The Journal of Logic Programming | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 176137 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 176132 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 92605 (Why is no real title available?) | 1993-01-16 | Paper |
TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING
International Journal of Foundations of Computer Science | 1990-01-01 | Paper |
A\(^ 2\)CCS: Atomic actions for CCS
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4094831 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4056997 (Why is no real title available?) | 1988-01-01 | Paper |
