ProfileOfResearchers

TÃTULO: The CAOS framework for Scala: Computer-aided design of SOS
AUTORES: Proenca, Jose ; Edixhoven, Luc;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240

INDEXADO EM:

Scopus

WOS

DBLP

TÃTULO: Caos: A Reusable Scala Web Animator of Operational Semantics
AUTORES: Proenca, Jose ; Edixhoven, Luc;
PUBLICAÇÃO: 2023, FONTE: 25th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2023, VOLUME: 13908

INDEXADO EM:

Scopus

WOS

DBLP

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

INDEXADO EM:

Scopus

DBLP

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

INDEXADO EM:

DBLP

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

INDEXADO EM:

DBLP

Links Úteis