ARx: Reactive Programming for Synchronous Connectors

von Proenca, José
Veröffentlicht in COORDINATION (22. : 2020 : Online) Coordination models and languages (2020)

Featured Team Automata

von Beek, Maurice H. ter
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)