Using schedulers to test probabilistic distributed systems
scientific article; zbMATH DE number 6148346
scientific article