José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Branching pomsets for choreographies
Luc Edixhoven
,
Sung-Shik Jongmans
,
José Proença
,
Guillermina Cledou
June 2022
PDF
Cite
Code
Project
Project
Project
Project
Slides (by Luc)
Slides (@ICE'23 by Luc)
B-Pomset tool
ICE 2022
Type
Conference paper
Publication
Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022
DaVinci
Ibex
Reassure
VALU3S
Related
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
Featured Team Automata
Hubs for VirtuosoNext: Online verification of real-time coordinators
Verification of Real-Time Coordination in VirtuosoNext (extended version)
Cite
×