José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Reactive graphs in action
David Tinoco
,
Manuel A. Martins
,
Alexandre Madeira
,
José Proença
September 2024
PDF
Cite
Code
Project
Marge tool
Tutoral video (by David Tinoco)
Type
Conference paper
Publication
Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Revised Selected Papers
Ibex
Related
Overview on Constrained Multiparty Synchronisation in Team Automata
Branching pomsets: design, expressiveness and applications to choreographies
Spreadsheet-based Configuration of Families of Real-Time Specifications
Caos: A Reusable Scala Web Animator of Operational Semantics
Can we Communicate? Using Dynamic Logic to Verify Team Automata
Cite
×