research
∙
04/28/2023
Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
This tool paper presents Caos: a methodology and a programming framework...
share
research
∙
08/09/2022
Branching Pomsets for Choreographies
Choreographic languages describe possible sequences of interactions amon...
research
∙
08/05/2021
Proceedings of the 6th Workshop on Formal Integrated Development Environment
This volume contains the proceedings of F-IDE 2021, the sixth internatio...
research
∙
08/03/2021
Featured Team Automata
We propose featured team automata to support variability in the developm...
research
∙
09/29/2020
Implementing Hybrid Semantics: From Functional to Imperative
Hybrid programs combine digital control with differential equations, and...
research
∙
12/20/2019