Entre las operaciones a considerar se encuentran: start, commit, read(x), write(x,valor), abort..