7 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.DC2026
Proceedings 19th Interaction and Concurrency Experience
Luc Edixhoven, Simon Fowler, Rumyana Neykova +1
This volume contains the proceedings of ICE'26, the 19th Interaction and Concurrency Experience, which was held in Urbino, Italy, as a satellite event of DisCoTec'26. The ICE works…
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…