Tyler Crain, Damien Imbs, Michel Raynal. Towards a universal construction for transaction-based multiprocess programs. Theoretical Computer Science, 496:154-169, 2013. [doi]
@article{CrainIR13, title = {Towards a universal construction for transaction-based multiprocess programs}, author = {Tyler Crain and Damien Imbs and Michel Raynal}, year = {2013}, doi = {10.1016/j.tcs.2012.09.011}, url = {http://dx.doi.org/10.1016/j.tcs.2012.09.011}, researchr = {https://researchr.org/publication/CrainIR13}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {496}, pages = {154-169}, }