7 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.PL2023★ 1 cited
Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
José Proença, Luc Edixhoven
This tool paper presents Caos: a methodology and a programming framework for computer-aided design of structural operational semantics for formal models. This framework includes a…
cs.PL2022★ 7 cited
Branching Pomsets for Choreographies
Luc Edixhoven, Sung-Shik Jongmans, José Proença +1
Choreographic languages describe possible sequences of interactions among a set of agents. Typical models are based on languages or automata over sending and receiving actions. Pom…