Formal Modeling and Analysis of Cassandra in Maude.

Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, Jos Meseguer

Browse the full ICFEM paper archive.