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
23
views
14
references
Top references
cited by
2
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,475
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Fundamentals of Software Engineering
Analyzing Mutable Checkpointing via Invariants
other
Author(s):
Deepanker Aggarwal
,
Astrid Kiehn
Publication date
(Online):
November 12 2015
Publisher:
Springer International Publishing
Read this book at
Publisher
Further versions
open (via free pdf)
Powered by
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
14
Record
: found
Abstract
: not found
Article
: not found
Distributed snapshots: determining global states of distributed systems
K. Chandy
,
Leslie Lamport
(1985)
0
comments
Cited
122
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Distributed Computing: Principles, Algorithms, and Systems
Ajay Kshemkalyani
,
Mukesh Singhal
(2008)
0
comments
Cited
9
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
On distributed snapshots
Ten H. Lai
,
Tao Yang
(1987)
0
comments
Cited
9
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2015
Publication date (Online):
November 12 2015
Pages
: 176-190
DOI:
10.1007/978-3-319-24644-4_12
SO-VID:
dcba6998-0d13-4012-8ac9-5bb8eb6b3861
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Towards Smart Systems of Systems
pp. 30
Automated Integration of Service-Oriented Software Systems
pp. 46
Software Architecture Modeling and Evaluation Based on Stochastic Activity Networks
pp. 54
Applicative Bisimulation and Quantum λ-Calculi
pp. 69
Modeling and Efficient Verification of Broadcasting Actors
pp. 84
A Theory of Integrating Tamper Evidence with Stabilization
pp. 100
A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems
pp. 110
Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems
pp. 143
A Behavioural Theory for a π-calculus with Preorders
pp. 159
Incremental Realization of Safety Requirements: Non-determinism vs. Modularity
pp. 176
Analyzing Mutable Checkpointing via Invariants
pp. 191
High Performance Computing Applications Using Parallel Data Processing Units
pp. 207
Improved Iterative Methods for Verifying Markov Decision Processes
pp. 215
A Pre-congruence Format for XY-simulation
pp. 230
Tooled Process for Early Validation of SysML Models Using Modelica Simulation
pp. 238
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
pp. 259
Painless Support for Static and Runtime Verification of Component-Based Applications
pp. 275
Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines
pp. 292
An Interval-Based Approach to Modelling Time in Event-B
pp. 308
From Event-B Models to Dafny Code Contracts
Similar content
2,475
Mutability and Delinquency
Authors:
Joseph Hraba
,
Martin G. Miller
,
Vincent J. Webb
Examination of food chain-derived Listeria monocytogenes strains of different serotypes reveals considerable diversity in inlA genotypes, mutability, and adaptation to cold temperatures.
Authors:
Jovana J Kovačević
,
Carolina Arguedas-Villa
,
Anna Wozniak-Biel
…
Interspecies competition triggers virulence and mutability in Candida albicans-Pseudomonas aeruginosa mixed biofilms.
Authors:
Abigail Trejo-Hernández
,
Andrés Andrade-Domínguez
,
Magdalena Hernández
…
See all similar
Cited by
2
Analyzing Mutable Checkpointing via Invariants
Authors:
Deepanker Aggarwal
,
Astrid Kiehn
Checkpoint/Rollback vs Causally-Consistent Reversibility
Authors:
Martin Vassor
,
Jean-Bernard Stefani
See all cited by