Luc Edixhoven
AuthID: R-00K-A18
1
TÃTULO: Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
AUTORES: José Proença ; Luc Edixhoven;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2304.14901
AUTORES: José Proença ; Luc Edixhoven;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2304.14901
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
AUTORES: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLICAÇÃO: 2022, FONTE: 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
AUTORES: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLICAÇÃO: 2022, FONTE: 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
INDEXADO EM: 
Scopus DBLP
Scopus DBLP3
TÃTULO: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
AUTORES: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLICAÇÃO: 2022, FONTE: Dagstuhl Artifacts Ser., VOLUME: 8, NÚMERO: 2
AUTORES: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLICAÇÃO: 2022, FONTE: Dagstuhl Artifacts Ser., VOLUME: 8, NÚMERO: 2
INDEXADO EM: DBLP
DBLP4
TÃTULO: Branching Pomsets for Choreographies
AUTORES: Luc Edixhoven; Sung Shik Jongmans; José Proença ; Guillermina Cledou ;
PUBLICAÇÃO: 2022, FONTE: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., VOLUME: 365
AUTORES: Luc Edixhoven; Sung Shik Jongmans; José Proença ; Guillermina Cledou ;
PUBLICAÇÃO: 2022, FONTE: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., VOLUME: 365
INDEXADO EM: DBLP
DBLP