Protocol scheduling
From MaRDI portal
Publication:2145259
DOI10.1007/978-3-030-89247-0_1zbMath1496.68097OpenAlexW4241096898MaRDI QIDQ2145259
Publication date: 17 June 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-89247-0_1
Applications of game theory (91A80) Formal languages and automata (68Q45) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) 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)
Uses Software
Cites Work
- Unnamed Item
- Improved pseudo-polynomial bound for the value problem and optimal strategy synthesis in mean payoff games
- Faster algorithms for mean-payoff games
- Positional strategies for mean payoff games
- Borel determinacy
- Exposing latent mutual exclusion by work automata
- Abstract behavior types: a foundation model for components and their composition
- Proper protocol
- Synthesizing robust systems
- On the expressiveness of higher dimensional automata
- Reo: a channel-based coordination model for component composition
