research
∙
07/06/2023
Exploiting Adjoints in Property Directed Reachability Analysis
We formulate, in lattice-theoretic terms, two novel algorithms inspired ...
share
research
∙
08/29/2020
SOS Rules for Equivalences of Reaction Systems
Reaction Systems (RSs) are a successful computational framework inspired...
research
∙
07/17/2018
Unifying Inference for Bayesian and Petri Nets
Recent work by the authors equips Petri occurrence nets (PN) with probab...
research
∙
07/09/2018
A Formal Approach to Open Multiparty Interactions
We present a process algebra aimed at describing interactions that are m...
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