Login / Signup
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling.
Michael Blondin
Javier Esparza
Martin Helfrich
Antonín Kucera
Philipp J. Meyer
Published in:
CAV (2) (2020)
Keyphrases
</>
management system
desirable properties
database
scheduling problem
distributed systems
information systems
intelligent systems
knowledge based systems
building blocks
complex systems
resource allocation
fault tolerant
scheduling algorithm
physical systems