Login / Signup
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency.
Joaquín Aguado
Michael Mendler
Reinhard von Hanxleden
Insa Fuhrmann
Published in:
Acta Informatica (2015)
Keyphrases
</>
fixed point semantics
scheduling algorithm
scheduling problem
deadlock free
database systems
concurrency control
concurrent execution
operational semantics
real time database systems
timing constraints
software engineering
data integration
resource constraints
transaction processing