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
Formal Simulation and Visualisation of Hybrid Programs
The CAOS framework for Scala: computer-aided design of SOS
Branching pomsets: design, expressiveness and applications to choreographies
Spreadsheet-based Configuration of Families of Real-Time Specifications
Realisability of Global Models of Interaction
Cite
×