Luc Edixhoven
AuthID: R-00K-A18
1
TITLE: Branching pomsets: Design, expressiveness and applications to choreographies
AUTHORS: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLISHED: 2024, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136
AUTHORS: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLISHED: 2024, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP2
TITLE: Caos: A Reusable Scala Web Animator of Operational Semantics
AUTHORS: José Proença ; Luc Edixhoven;
PUBLISHED: 2023, SOURCE: 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 in Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, VOLUME: 13908
AUTHORS: José Proença ; Luc Edixhoven;
PUBLISHED: 2023, SOURCE: 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 in Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, VOLUME: 13908
3
TITLE: Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
AUTHORS: José Proença ; Luc Edixhoven;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.14901
AUTHORS: José Proença ; Luc Edixhoven;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.14901
INDEXED IN: DBLP
DBLP4
TITLE: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: 36th European Conference on Object-Oriented Programming, ECOOP 2022 in 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., VOLUME: 222
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: 36th European Conference on Object-Oriented Programming, ECOOP 2022 in 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., VOLUME: 222
INDEXED IN: Scopus DBLP
Scopus DBLP5
TITLE: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 8, ISSUE: 2
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 8, ISSUE: 2
INDEXED IN: DBLP
DBLP6
TITLE: Branching Pomsets for Choreographies
AUTHORS: Luc Edixhoven; Sung Shik Jongmans; José Proença ; Guillermina Cledou ;
PUBLISHED: 2022, SOURCE: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., VOLUME: 365
AUTHORS: Luc Edixhoven; Sung Shik Jongmans; José Proença ; Guillermina Cledou ;
PUBLISHED: 2022, SOURCE: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., VOLUME: 365
INDEXED IN: DBLP
DBLP