Towards a universal construction for transaction-based multiprocess programs

Tyler Crain, Damien Imbs, Michel Raynal. Towards a universal construction for transaction-based multiprocess programs. Theoretical Computer Science, 496:154-169, 2013. [doi]

Abstract

Abstract is missing.