Choreographic Programming of Isolated Transactions

Ton Smeele, Sung Shik Jongmans

Research output: Contribution to journalConference Article in journalAcademicpeer-review


Implementing distributed systems is hard; choreographic programming aims to make it easier. In this paper, we present the design of a new choreographic programming language that supports isolated transactions among overlapping sets of processes. The first idea is to track for every variable which processes are permitted to use it. The second idea is to use model checking to prove isolation.

Original languageEnglish
Pages (from-to)49-60
Number of pages12
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Publication statusPublished - 13 Apr 2023
Event14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software - Paris, France
Duration: 22 Apr 202322 Apr 2023
Conference number: 14


Dive into the research topics of 'Choreographic Programming of Isolated Transactions'. Together they form a unique fingerprint.

Cite this