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...
research
∙
08/09/2022
Branching Pomsets for Choreographies
Choreographic languages describe possible sequences of interactions amon...
research
∙
06/04/2018