Luc Edixhoven

13 papers A 1B 1C 2Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
The CAOS framework for Scala: Computer-aided design of SOS.
Sci. Comput. Program.
José Proença, Luc Edixhoven
2024 J jnl
Branching pomsets: Design, expressiveness and applications to choreographies.
J. Log. Algebraic Methods Program.
Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani
2023 J jnl
Balanced-by-Construction Regular and ω-Regular Languages.
Int. J. Found. Comput. Sci.
Luc Edixhoven, Sung-Shik Jongmans
2023 J jnl
Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial).
CoRR
José Proença, Luc Edixhoven
2023 C conf
Caos: A Reusable Scala Web Animator of Operational Semantics.
COORDINATION
José Proença, Luc Edixhoven
2023 B conf
Shuffling Posets on Trajectories.
iFM
Luc Edixhoven
2023 J jnl
Shuffling posets on trajectories (technical report).
CoRR
Luc Edixhoven
2022 J jnl
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact).
Dagstuhl Artifacts Ser.
Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
2022 A conf
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3.
ECOOP
Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
2022 — conf
Branching Pomsets for Choreographies.
ICE
Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou
2022 — conf
Realisability of Branching Pomsets.
FACS
Luc Edixhoven, Sung-Shik Jongmans
2021 C conf
Balanced-By-Construction Regular and ømega-Regular Languages.
DLT
Luc Edixhoven, Sung-Shik Jongmans
2018 J jnl
Player preferences in N-player games.
CoRR
Luc Edixhoven, Walter A. Kosters