Schedulers are no Prophets

Autor: Holger Hermanns, Arnd Hartmanns, Jan Krčál

Publikováno v: Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, 214-235
STARTPAGE=214;ENDPAGE=235;TITLE=Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Semantics, Logics, and Calculi ISBN: 9783319278094
Semantics, Logics, and Calculi

Several formalisms for concurrent computation have been proposed in recent years that incorporate means to express stochastic continuous-time dynamics and non-determinism. In this setting, some obscure phenomena are known to exist, related to the fac

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63eff0e948cd5246af421908ad629db2
https://doi.org/10.1007/978-3-319-27810-0_11