views

recommends

Recommend

0 collections

1,617

similar

All similar

Record: found
Abstract: not found
Book Chapter: not found

Validation of Stochastic Systems 

Analysing Randomized Distributed Algorithms

other

Author(s): Gethin Norman

Publication date (Print): 2004

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 87

Record: found
Abstract: not found
Book: not found

Randomized Algorithms

Rajeev Motwani, Prabhakar Raghavan (1995)

0 comments Cited 281 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Impossibility of distributed consensus with one faulty process

Michael Fischer, Nancy A. Lynch, Michael S. Paterson (1985)

0 comments Cited 275 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

A logic for reasoning about time and reliability

Hans-Christen Hansson, Bengt-Harald Jonsson (1994)

0 comments Cited 210 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2004

Pages: 384-418

DOI: 10.1007/978-3-540-24611-4_11

SO-VID: 70491160-fcf8-4adb-8e8d-fbcb11d4adcd

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 7

See all cited by

Analysing Randomized Distributed Algorithms

Read this book at

Related collections

ScienceOpen Research

Most cited references 87

Randomized Algorithms

Impossibility of distributed consensus with one faulty process

A logic for reasoning about time and reliability

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,617

Cited by 7