On global scheduling independency in networks of timed automata
From MaRDI portal
Publication:1683435
DOI10.1007/978-3-319-65765-3_3zbMath1494.68181OpenAlexW2740942814MaRDI QIDQ1683435
Milan Vujinović, Bernd Westphal, Sergio Feo-Arenis
Publication date: 1 December 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-65765-3_3
Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
This page was built for publication: On global scheduling independency in networks of timed automata
