Reo
Preo
LW Preo
Online Reo2
Treo
ARx
Development
Preo
Treo
ARx
Publications
ARx: Reactive Programming for Synchronous Connectors (COORDINATION 2020)
Taiming Hierarchical Connectors (FSEN 2019)
ReoLive: Analysing Connectors in your Browser (FOCLASA 2018)
Composing Families of Timed Automata (FSEN 2017)
Typed Connector Families and their Semantics (SCP 2017)
Back to ArcaTools