José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Overview on Constrained Multiparty Synchronisation in Team Automata
José Proença
October 2023
PDF
Cite
Project
Project
Slides
Type
Conference paper
Publication
Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Ibex
Route25
Related
Branching pomsets: design, expressiveness and applications to choreographies
Spreadsheet-based Configuration of Families of Real-Time Specifications
Realisability of Global Models of Interaction
Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
Caos: A Reusable Scala Web Animator of Operational Semantics
Cite
×