The references provided in that post are to the point. As Mohammad pointed out to me, relevant process algebraic work along those lines may also be found in the paper
H.M.A. van Beek. An algebraic approach to transactional processes. CS-Report 02/18, Department of Mathematics and Computing Science, Technische Universiteit Eindhoven, December 2002. Harm's Ph.D. thesis contains that report as a chapter (Chapter 8).
As far as I know, the earliest studies of "atomic transactions" within the field of process calculi were presented by Gérard Boudol and Ilaria Castellani in two papers that appeared in the late 1980s:
- Gérard Boudol, Atomic actions, in EATCS Bulletin Vol. 38 (1989), 136-144.
[Abstract, PostScript, .ps.gz]
- Gérard Boudol and Ilaria Castellani, Concurrency and atomicity, in Theoretical Computer Science Vol. 59 (1988), 25-84.
I encourage my readers to post further reading suggestions on the topic of process calculi for atomic transactions. As Charles Stewart writes on Lambda the Ultimate, this topic will repay a closer look.