José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Luc Edixhoven
Latest
Branching pomsets for choreographies
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
Cite
×