Route25

Branching pomsets: design, expressiveness and applications to choreographies

JLAMP 2023

Route 25 (2022-2025)

__Agenda for Autonomous, Intelligent, Interoperable and Inclusive Mobility__ - is portuguese funded project, by IAPMEI, to keep Portugal relevant in the mobility industry.

Spreadsheet-based Configuration of Families of Real-Time Specifications

TiCSA@ETAPS 2023