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:
CoRR (2020)
Keyphrases
</>
management system
social networks
distributed systems
database
intelligent systems
complex systems
data sets
databases
information retrieval
computer systems
building blocks
multistage
fault tolerant
qualitative and quantitative