Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
34
views
12
references
Top references
cited by
3
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,368
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Formal Methods and Software Engineering
Formal Modeling and Analysis of Cassandra in Maude
other
Author(s):
Si Liu
,
Muntasir Raihan Rahman
,
Stephen Skeirik
,
Indranil Gupta
,
José Meseguer
Publication date
(Print):
2014
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
Reviews of mathematical modeling in cancer
Most cited references
12
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Towards robust distributed systems (abstract)
Eric Brewer
(2000)
0
comments
Cited
50
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Don't settle for eventual
David Andersen
,
Wyatt Lloyd
,
Michael Freedman
…
(2011)
0
comments
Cited
27
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Eventually Consistent
Werner Vogels
(2008)
0
comments
Cited
18
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2014
Pages
: 332-347
DOI:
10.1007/978-3-319-11737-9_22
SO-VID:
75ca8834-45d9-46e0-99ea-53975049f51c
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Approximations for Stochastic Graph Rewriting
pp. 11
Computing Maximal Bisimulations
pp. 27
Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints
pp. 43
A Formal Model for Natural-Language Timed Requirements of Reactive Systems
pp. 59
A Hybrid Model of Connectors in Cyber-Physical Systems
pp. 75
A Language-Independent Proof System for Mutual Program Equivalence
pp. 91
PHASE: A Stochastic Formalism for Phase-Type Distributions
pp. 107
CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems
pp. 123
Modal Characterisations of Probabilistic and Fuzzy Bisimulations
pp. 139
Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm
pp. 155
An LTL Model Checking Approach for Biological Parameter Inference
pp. 171
SCC-Based Improved Reachability Analysis for Markov Decision Processes
pp. 187
Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior
pp. 203
Timed Automata Verification via IC3 with Zones
pp. 219
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems
pp. 235
A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators
pp. 251
A Formula-Based Approach for Automatic Fault Localization of Imperative Programs
pp. 267
A Resource-Based Logic for Termination and Non-termination Proofs
pp. 284
Practical Analysis Framework for Software-Based Attestation Scheme
pp. 300
TAuth: Verifying Timed Security Protocols
pp. 316
On the Formal Analysis of HMM Using Theorem Proving
pp. 332
Formal Modeling and Analysis of Cassandra in Maude
pp. 348
Bounded Model Checking High Level Petri Nets in PIPE+Verifier
pp. 364
Fast Translation from LTL to Büchi Automata via Non-transition-based Automata
pp. 380
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor
pp. 396
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code
pp. 413
GPU Accelerated Counterexample Generation in LTL Model Checking
pp. 430
Formal Throughput and Response Time Analysis of MARTE Models
pp. 446
Extending MSVL with Function Calls
Similar content
4,368
Controls for a Pulsed Ion Accelerator Using Apache Cassandra (No-SQL) and ZMQ
Authors:
A. Persaud
,
M. J. Regis
,
M. W. Stettler
…
Cassandra: a decentralized structured storage system
Authors:
A Lakshman
,
P Malik
Framework for geospatial query processing by integrating cassandra with hadoop
Authors:
S. Vasavi
,
MP Priya
,
AA Gokhale
See all similar
Cited by
3
Formal Modeling and Analysis of Cassandra in Maude
Authors:
Si Liu
,
Muntasir Raihan Rahman
,
Stephen Skeirik
…
ROLA: A New Distributed Transaction Protocol and Its Formal Analysis
Authors:
Si Liu
,
Peter Ölveczky
,
Keshav Santhanam
…
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Authors:
Si Liu
,
Peter Csaba Ölveczky
,
Min Zhang
…
See all cited by