José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
DaVinci
ARx: Reactive Programming for Synchronous Connectors
COORDINATION 2020
Implementing Hybrid Semantics: From Functional to Imperative (Extended Version)
CoRR 2020
Coordination of Tasks on a Real-Time OS
COORDINATION 2019
Proceedings of F-IDE@FM 2019
EPTCS 2019
Taming Hierarchical Connectors
FSEN 2019
«
Cite
×