Friedman, RoyBirman, Ken2007-04-232007-04-231996-04http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR96-1579https://hdl.handle.net/1813/7235This paper shows that two important classes of actions, {\em non left commuting}\/ and {\em strongly non commuting}, cannot be executed by concurrent partitions in a system that provides serializable services. This result indicates that there is an inherent limitation to the ability of systems to provide services in a consistent manner during network partitions.198636 bytes168999 bytesapplication/pdfapplication/postscripten-UScomputer sciencetechnical reportTrading Consistency for Availability in Distributed Systemstechnical report