José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Branching pomsets: design, expressiveness and applications to choreographies
Luc Edixhoven
,
Sung-Shik Jongmans
,
José Proença
,
Ilaria Castelani
January 2024
PDF
Cite
Code
Project
Project
Project
Slides (@ICE'23 by Luc)
B-Pomset tool
Type
Conference paper
Publication
Journal of Logical and Algebraic Methods in Programming
Ibex
VALU3S
Route25
Related
Spreadsheet-based Configuration of Families of Real-Time Specifications
Realisability of Global Models of Interaction
Branching pomsets for choreographies
Caos: A Reusable Scala Web Animator of Operational Semantics
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
Cite
×