research
∙
05/14/2020
Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)
The formalization of process algebras usually starts with a minimal core...
research
∙
05/14/2020
How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation
Reversible computation opens up the possibility of overcoming some of th...
research
∙
01/03/2019
Interactions between Causal Structures in Graph Rewriting Systems
Graph rewrite formalisms are a powerful approach to modeling complex mol...
research
∙
04/27/2018
History-Preserving Bisimulations on Reversible Calculus of Communicating Systems
History-and hereditary history-preserving bisimulation (HPB and HHPB) ar...
research
∙
08/07/2017