Schedulers are no Prophets
DOI10.1007/978-3-319-27810-0_11zbMath1474.68203OpenAlexW2294463118MaRDI QIDQ2796225
Jan Krčál, Holger Hermanns, Arnd Hartmanns
Publication date: 23 March 2016
Published in: Semantics, Logics, and Calculi (Search for Journal in Brave)
Full work available at URL: https://research.utwente.nl/en/publications/schedulers-are-no-prophets(f46296a2-400a-4181-8ddb-e62537378ef3).html
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication: Schedulers are no Prophets
