research
∙
05/08/2023
Behavioural Types for Local-First Software
Peer-to-peer systems are the most resilient form of distributed computin...
share
research
∙
02/27/2023
Relating Reversible Petri Nets and Reversible Event Structures, categorically
Petri nets, where causal dependencies are modelled via inhibitor arcs, c...
research
∙
09/17/2020
Towards Refinable Choreographies
We investigate refinement in the context of choreographies. We introduce...
research
∙
07/23/2020
Probabilistic Analysis of Binary Sessions
We study a probabilistic variant of binary session types that relate to ...
research
∙
10/24/2019
Reversible Causal Nets and Reversible Event Structures
One of the well-known results in concurrency theory concerns the relatio...
research
∙
10/09/2019
Reversing Place Transition Nets
Petri nets are a well-known model of concurrency and provide an ideal se...
research
∙
07/17/2018
Unifying Inference for Bayesian and Petri Nets
Recent work by the authors equips Petri occurrence nets (PN) with probab...
research
∙
02/11/2018
Event Structures for Petri nets with Persistence
Event structures are a widely accepted model of concurrency. In a semina...
research
∙
10/12/2017