José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Ibex
Spreadsheet-based Configuration of Families of Real-Time Specifications
TiCSA@ETAPS 2023
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
ISoLA 2022
Branching pomsets for choreographies
ICE@DisCoTec 2022
«
Cite
×