Choreographic Programming of Isolated Transactions

Ton Smeele; Sung Shik Jongmans

doi:10.4204/EPTCS.378.5

Choreographic Programming of Isolated Transactions

Ton Smeele, Sung Shik Jongmans

Research output: Contribution to journal › Conference Article in journal › Academic › peer-review

Abstract

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 language	English
Pages (from-to)	49-60
Number of pages	12
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	378
DOIs	https://doi.org/10.4204/EPTCS.378.5
Publication status	Published - 13 Apr 2023
Event	14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software - Paris, France Duration: 22 Apr 2023 → 22 Apr 2023 Conference number: 14

Access to Document

10.4204/EPTCS.378.5Licence: CC BY

Cite this

@article{c14c76838b634b9483b69be9837f9f67,

title = "Choreographic Programming of Isolated Transactions",

abstract = "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.",

author = "Ton Smeele and Jongmans, {Sung Shik}",

note = "Publisher Copyright: {\textcopyright} T. Smeele & S. Jongmans This work is licensed under the Creative Commons Attribution License.; 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2023 ; Conference date: 22-04-2023 Through 22-04-2023",

year = "2023",

month = apr,

day = "13",

doi = "10.4204/EPTCS.378.5",

language = "English",

volume = "378",

pages = "49--60",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Choreographic Programming of Isolated Transactions

AU - Smeele, Ton

AU - Jongmans, Sung Shik

N1 - Conference code: 14

PY - 2023/4/13

Y1 - 2023/4/13

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85156162245&partnerID=8YFLogxK

UR - https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?PLACES2023

U2 - 10.4204/EPTCS.378.5

DO - 10.4204/EPTCS.378.5

M3 - Conference Article in journal

AN - SCOPUS:85156162245

SN - 2075-2180

VL - 378

SP - 49

EP - 60

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Y2 - 22 April 2023 through 22 April 2023

ER -

Choreographic Programming of Isolated Transactions

Abstract

Access to Document

Other files and links

Fingerprint

Cite this