José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Luc Edixhoven
Latest
The CAOS framework for Scala: computer-aided design of SOS
Branching pomsets: design, expressiveness and applications to choreographies
Caos: A Reusable Scala Web Animator of Operational Semantics
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
Branching pomsets for choreographies
Cite
×