Luc Edixhoven

According to our database, Luc Edixhoven authored at least 13 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

The CAOS framework for Scala: Computer-aided design of SOS.

José Proença, Luc Edixhoven

Sci. Comput. Program., 2025

2024

Branching pomsets: Design, expressiveness and applications to choreographies.

Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani

J. Log. Algebraic Methods Program., January, 2024

2023

Balanced-by-Construction Regular and ω-Regular Languages.

Luc Edixhoven, Sung-Shik Jongmans

Int. J. Found. Comput. Sci., 2023

Shuffling posets on trajectories (technical report).

Luc Edixhoven

CoRR, 2023

Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial).

José Proença, Luc Edixhoven

CoRR, 2023

Shuffling Posets on Trajectories.

Luc Edixhoven

Proceedings of the iFM 2023 - 18th International Conference, 2023

Caos: A Reusable Scala Web Animator of Operational Semantics.

José Proença, Luc Edixhoven

Proceedings of the Coordination Models and Languages, 2023

2022

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact).

Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença

Dagstuhl Artifacts Ser., 2022

Branching Pomsets for Choreographies.

Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou

Proceedings of the Proceedings 15th Interaction and Concurrency Experience, 2022

Realisability of Branching Pomsets.

Luc Edixhoven, Sung-Shik Jongmans

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3.

Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Balanced-By-Construction Regular and ømega-Regular Languages.

Luc Edixhoven, Sung-Shik Jongmans

Proceedings of the Developments in Language Theory - 25th International Conference, 2021

2018

Player preferences in N-player games.

Luc Edixhoven, Walter A. Kosters

CoRR, 2018