José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Coordination
Verification of Real-Time Coordination in VirtuosoNext (extended version)
VirtuosoNextTM is a distributed real-time operating system (RTOS) featuring a generic programming model dubbed Interacting Entities. This paper focuses on these interactions, implemented as so-called Hubs. Hubs act as synchronisation and …
Cite
×