Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
34
views
87
references
Top references
cited by
7
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,331
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
Review
Review book
Invite someone to review
Bookmark
Cite as...
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
ScienceOpen Research
Most cited references
87
Record
: found
Abstract
: not found
Book
: not found
Randomized Algorithms
Rajeev Motwani
,
Prabhakar Raghavan
(1995)
0
comments
Cited
282
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
276
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
Sign in to comment
Book chapters
pp. 1
Probabilistic Automata: System Types, Parallel Composition and Comparison
pp. 256
Kronecker Based Matrix Representations for Large Markov Models
pp. 147
On Probabilistic Computation Tree Logic
pp. 384
Analysing Randomized Distributed Algorithms
Similar content
2,331
Subsampled Power Iteration: a Unified Algorithm for Block Models and Planted CSP's
Authors:
,
,
Phylogenetic analyses of Begonia sect. Coelocentrum and allied limestone species of China shed light on the evolution of Sino-Vietnamese karst flora
Authors:
Kuo-Fang Chung
,
Wai-Chao Leong
,
Rosario Rivera Rubite
…
Allelic heterogeneity and more detailed analyses of known loci explain additional phenotypic variation and reveal complex patterns of association
Authors:
Andrew Wood
,
Dena G Hernandez
,
Michael A. Nalls
…
See all similar
Cited by
7
A game-based abstraction-refinement framework for Markov decision processes
Authors:
Gethin Norman
,
David Parker
,
Mark Kattenbelt
…
Least Upper Bounds for Probability Measures and Their Applications to Abstractions
Authors:
Rohit Chadha
,
Mahesh Viswanathan
,
Ramesh Viswanathan
Waiting for Locks: How Long Does It Usually Take?
Authors:
Christel Baier
,
Marcus Daum
,
Benjamin Engel
…
See all cited by