![](/img/cover-not-exists.png)
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
Aguado, Joaquín, Mendler, Michael, von Hanxleden, Reinhard, Fuhrmann, InsaVolume:
52
Language:
english
Journal:
Acta Informatica
DOI:
10.1007/s00236-015-0238-x
Date:
June, 2015
File:
PDF, 1.61 MB
english, 2015