| Publication | Date of Publication | Type |
|---|
A reversible perspective on Petri nets and event structures
ACM Transactions on Computational Logic | 2024-11-12 | Paper |
Data-driven choreographies à la Klaim
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
| Relating reversible Petri nets and reversible event structures, categorically | 2024-01-11 | Paper |
A Truly Concurrent Semantics for Reversible CCS
(available as arXiv preprint) | 2023-09-25 | Paper |
| scientific article; zbMATH DE number 7650339 (Why is no real title available?) | 2023-02-03 | Paper |
Multiparty testing preorders
Logical Methods in Computer Science | 2023-01-09 | Paper |
| scientific article; zbMATH DE number 7633801 (Why is no real title available?) | 2022-12-16 | Paper |
Probabilistic Analysis of Binary Sessions
(available as arXiv preprint) | 2022-07-18 | Paper |
Towards refinable choreographies
Journal of Logical and Algebraic Methods in Programming | 2022-05-25 | Paper |
A Petri net view of covalent bonds
Theoretical Computer Science | 2022-02-21 | Paper |
Categorical specification and implementation of replicated data types
Theoretical Computer Science | 2022-02-01 | Paper |
| scientific article; zbMATH DE number 7454921 (Why is no real title available?) | 2022-01-10 | Paper |
scientific article; zbMATH DE number 7454921 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-10 | Paper |
Towards a Truly Concurrent Semantics for Reversible CCS
Reversible Computation | 2021-11-03 | Paper |
| Implementation correctness for replicated data types, categorically | 2021-07-08 | Paper |
Reversible occurrence nets and causal reversible prime event structures
(available as arXiv preprint) | 2021-07-05 | Paper |
Multiparty testing preorders
Trustworthy Global Computing | 2021-04-07 | Paper |
Concurrency and probability: removing confusion, compositionally
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
scientific article; zbMATH DE number 7269246 (Why is no real title available?)
(available as arXiv preprint) | 2020-11-03 | Paper |
| scientific article; zbMATH DE number 7269246 (Why is no real title available?) | 2020-11-03 | Paper |
scientific article; zbMATH DE number 7269252 (Why is no real title available?)
(available as arXiv preprint) | 2020-11-03 | Paper |
| scientific article; zbMATH DE number 7269252 (Why is no real title available?) | 2020-11-03 | Paper |
Bayesian network semantics for Petri nets
Theoretical Computer Science | 2020-01-22 | Paper |
scientific article; zbMATH DE number 7147446 (Why is no real title available?)
(available as arXiv preprint) | 2020-01-03 | Paper |
Event structures for Petri nets with persistence
(available as arXiv preprint) | 2018-11-02 | Paper |
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
\textsf{cJoin}: \textsf{Join} with communicating transactions
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Connector algebras, Petri nets, and BIP
Perspectives of Systems Informatics | 2015-12-07 | Paper |
A normal form for stateful connectors
Lecture Notes in Computer Science | 2015-09-14 | Paper |
From hierarchical BIP to Petri calculus
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
Resolving non-determinism in choreographies
Programming Languages and Systems | 2014-04-16 | Paper |
Modelling dynamic software architectures using typed graph grammars
Electronic Notes in Theoretical Computer Science | 2014-03-26 | Paper |
Behaviour, Interaction and Dynamics
Specification, Algebra, and Software | 2014-03-25 | Paper |
Connector algebras for C/E and P/T nets' interactions
Logical Methods in Computer Science | 2013-09-26 | Paper |
| Flat committed join in join | 2013-09-11 | Paper |
A connector algebra for P/T nets interactions
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Non-sequential Behaviour of Dynamic Nets
Petri Nets and Other Models of Concurrency - ICATPN 2006 | 2009-04-02 | Paper |
Abstract Processes in Orchestration Languages
Programming Languages and Systems | 2009-03-31 | Paper |
Dynamic Graph Transformation Systems
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Synchronous Multiparty Synchronizations and Transactions
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Event Structure Semantics for Nominal Calculi
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
| scientific article; zbMATH DE number 2163046 (Why is no real title available?) | 2005-04-29 | Paper |
