Choreographic Programming of Isolated Transactions. - Ton Smeele; Sung-Shik Jongmans (PLACES@ETAPS, 2023)