Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
José Paiva Proença
Investigador
Publicações
Overview on Constrained Multiparty Synchronisation in Team Automata
Proença, J;
2023
Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Overview on Constrained Multiparty Synchronisation in Team Automata
Proença, J;
2024
FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023
Realisability of Global Models of Interaction
ter Beek, MH;Hennicker, R;Proença, J;
2023
Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
Proença, J;Edixhoven, L;
2023
CoRR
Teses Orientadas
SMART PRICING: Development of a new pricing tool
Tiago Ferreira Nunes
M - 2024
UP-FEUP
