Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
27
views
9
references
Top references
cited by
0
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,859
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
On Certifying Distributed Algorithms: Problem of Local Correctness
other
Author(s):
Kim Völlinger
Publication date
(Online):
May 29 2019
Publisher:
Springer International Publishing
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
General Collective Intelligence Platforms and Hive Minds
Most cited references
9
Record
: found
Abstract
: not found
Article
: not found
Certifying algorithms
R.M. Mcconnell
,
K. Mehlhorn
,
S. Naher
…
(2011)
0
comments
Cited
17
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Distributed Algorithms for Message-Passing Systems
Michel Raynal
(2013)
0
comments
Cited
8
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Runtime Verification for Decentralised and Distributed Systems
Adrian Francalanza
,
Jorge Pérez
,
Cesar Sanchez
(2018)
0
comments
Cited
3
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2019
Publication date (Online):
May 29 2019
Pages
: 281-288
DOI:
10.1007/978-3-030-21759-4_16
SO-VID:
76c6eaee-1dd0-44fe-ac5d-c0bc1ab11178
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Psi-Calculi Revisited: Connectivity and Compositionality
pp. 21
Squeezing Streams and Composition of Self-stabilizing Algorithms
pp. 39
Parametric Updates in Parametric Timed Automata
pp. 57
Parametric Statistical Model Checking of UAV Flight Plan
pp. 75
Only Connect, Securely
pp. 93
Output-Sensitive Information Flow Analysis
pp. 111
Component-aware Input-Output Conformance
pp. 129
Declarative Choreographies and Liveness
pp. 148
Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes
pp. 167
Causal-Consistent Replay Debugging for Message Passing Programs
pp. 185
Correct and Efficient Antichain Algorithms for Refinement Checking
pp. 204
Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification
pp. 224
Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs
pp. 242
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework
pp. 261
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems
pp. 281
On Certifying Distributed Algorithms: Problem of Local Correctness
pp. 289
On a Higher-Order Calculus of Computational Fields
pp. 293
Semantically Sound Analysis of Content Security Policies
Similar content
2,859
"Brazilian Butt Lift" Performed by Board-Certified Brazilian Plastic Surgeons: Reports of an Expert Opinion Survey.
Authors:
Alvaro Luiz Cansancao
,
Alexandra Condé-Green
,
Rodrigo Gouvea Rosique
…
Certifying the Thurston norm via SL(2, C)-twisted homology
Authors:
,
Certifying Biodiversity: The Union for Ethical BioTrade and the Search for Ethical Sourcing
Authors:
Drossos Stamboulakis
,
Jay Sanderson
See all similar