| Publication | Date of Publication | Type |
|---|
Stronger Validity Criteria for Encoding Synchrony
| 2024-03-14 | Paper |
Causal testing
Mathematical Foundations of Computer Science 1996 | 2022-12-11 | Paper |
Abstract processes in the absence of conflicts in general place/transition systems
Information and Computation | 2022-12-08 | Paper |
Abstract processes and conflicts in place/transition systems
Information and Computation | 2021-11-25 | Paper |
Synchrony vs. causality in asynchronous Petri nets
| 2021-03-10 | Paper |
Synchronous and asynchronous communication(s) between three parties
Acta Informatica | 2020-05-26 | Paper |
Synchrony versus causality in distributed systems
Mathematical Structures in Computer Science | 2017-04-04 | Paper |
Hybrid automata as a modelling approach in the behavioural sciences
| 2016-04-19 | Paper |
Symmetric and asymmetric asynchronous interaction
Electronic Notes in Theoretical Computer Science | 2014-06-27 | Paper |
On characterising distributability
Logical Methods in Computer Science | 2013-09-26 | Paper |
On distributability in process calculi
Programming Languages and Systems | 2013-08-05 | Paper |
Abstract processes of place/transition systems
Information Processing Letters | 2013-04-04 | Paper |
On Distributability of Petri Nets
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
On causal semantics of Petri nets (extended abstract)
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
On Synchronous and Asynchronous Interaction in Distributed Systems
Lecture Notes in Computer Science | 2009-02-03 | Paper |
Well-behaved flow event structures for parallel composition and action refinement
Theoretical Computer Science | 2004-10-27 | Paper |
scientific article; zbMATH DE number 2090155 (Why is no real title available?)
| 2004-08-12 | Paper |
Refinement of actions and equivalence notions for concurrent systems
Acta Informatica | 2001-02-20 | Paper |
scientific article; zbMATH DE number 1479625 (Why is no real title available?)
| 2000-07-20 | Paper |
Modelling causality via action dependencies in branching time semantics
Information Processing Letters | 1997-02-27 | Paper |
Comparing syntactic and semantic action refinement
Information and Computation | 1996-07-03 | Paper |
Finite Petri nets as models for recursive causal behaviour
Theoretical Computer Science | 1994-04-05 | Paper |
scientific article; zbMATH DE number 17804 (Why is no real title available?)
| 1992-06-26 | Paper |
scientific article; zbMATH DE number 4182807 (Why is no real title available?)
| 1991-01-01 | Paper |
scientific article; zbMATH DE number 4119654 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4060688 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4028916 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4033098 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4076635 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3911719 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3896316 (Why is no real title available?)
| 1984-01-01 | Paper |
The non-sequential behaviour of Petri nets
Information and Control | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3829262 (Why is no real title available?)
| 1983-01-01 | Paper |
