José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Reassure
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
«
Cite
×