Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude.

Si Liu, Peter Csaba lveczky, Min Zhang, Qi Wang, Jos Meseguer

Browse the full TACAS paper archive.