Local planning of multiparty interactions with bounded horizons

DOI10.1007/978-3-319-48989-6_13zbMath1427.68024OpenAlexW2554888228MaRDI QIDQ2281637

Marius Bozga, Saddek Bensalem, Mahieddine Dellabani, Jacques Combaz

Publication date: 3 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-319-48989-6_13

zbMATH Keywords

knowledgetimed automatadistributed real-time systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14)

This page was built for publication: Local planning of multiparty interactions with bounded horizons