Schedulers are no Prophets

DOI10.1007/978-3-319-27810-0_11zbMath1474.68203MaRDI 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

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)