| Publication | Date of Publication | Type |
|---|
Bisimulation, games, and logic
Lecture Notes in Computer Science | 2024-01-29 | Paper |
Open maps, behavioural equivalences, and congruences
Trees in Algebra and Programming — CAAP '96 | 2023-02-23 | Paper |
Behavioural equivalence for infinite systems -- partially decidable!
Application and Theory of Petri Nets 1996 | 2019-05-02 | Paper |
Observing behaviour categorically
Lecture Notes in Computer Science | 2017-01-19 | Paper |
Automated logical verification based on trace abstractions
Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96 | 2015-09-11 | Paper |
A Bayesian model for event-based trust
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Transfer of trust in event-based reputation systems
Theoretical Computer Science | 2012-05-30 | Paper |
Trust models in ubiquitous computing
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2009-01-21 | Paper |
Towards a Formal Framework for Computational Trust
Formal Methods for Components and Objects | 2008-09-17 | Paper |
Secure Data Flow in a Calculus for Context Awareness
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models | 2008-06-19 | Paper |
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
Programming Languages and Systems | 2008-05-15 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
Theory Is Forever
Lecture Notes in Computer Science | 2005-01-18 | Paper |
| scientific article; zbMATH DE number 2088670 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2087501 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2081112 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1995124 (Why is no real title available?) | 2003-10-21 | Paper |
Undecidability of domino games and hhp-bisimilarity.
Information and Computation | 2003-08-19 | Paper |
| scientific article; zbMATH DE number 1809625 (Why is no real title available?) | 2002-12-10 | Paper |
| scientific article; zbMATH DE number 1755136 (Why is no real title available?) | 2002-06-13 | Paper |
| scientific article; zbMATH DE number 1500529 (Why is no real title available?) | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1339961 (Why is no real title available?) | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 1241703 (Why is no real title available?) | 1999-01-18 | Paper |
| scientific article; zbMATH DE number 1222557 (Why is no real title available?) | 1998-11-11 | Paper |
Open maps, behavioural equivalences, and congruences
Theoretical Computer Science | 1998-06-30 | Paper |
| scientific article; zbMATH DE number 1302049 (Why is no real title available?) | 1998-01-01 | Paper |
| scientific article; zbMATH DE number 1059325 (Why is no real title available?) | 1997-09-10 | Paper |
Petri nets and bisimulation
Theoretical Computer Science | 1997-02-28 | Paper |
Models for concurrency: Towards a classification
Theoretical Computer Science | 1997-02-27 | Paper |
Bisimulation from open maps
Information and Computation | 1997-02-03 | Paper |
| scientific article; zbMATH DE number 794261 (Why is no real title available?) | 1996-05-28 | Paper |
| scientific article; zbMATH DE number 827979 (Why is no real title available?) | 1995-12-20 | Paper |
Transition systems, event structures, and unfoldings
Information and Computation | 1995-07-10 | Paper |
| scientific article; zbMATH DE number 559221 (Why is no real title available?) | 1994-07-28 | Paper |
| scientific article; zbMATH DE number 176124 (Why is no real title available?) | 1993-05-18 | Paper |
Elementary transition systems
Theoretical Computer Science | 1992-09-26 | Paper |
Elementary transition systems and refinement
Acta Informatica | 1992-01-01 | Paper |
| scientific article; zbMATH DE number 4018372 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3930318 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3958739 (Why is no real title available?) | 1984-01-01 | Paper |
Petri nets, event structures and domains. I
Theoretical Computer Science | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3651760 (Why is no real title available?) | 1979-01-01 | Paper |
EOL systems with control devices
Acta Informatica | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3466538 (Why is no real title available?) | 1974-01-01 | Paper |
On the decidability of some equivalence problems for DOL-systems
Information and Control | 1974-01-01 | Paper |
