Choreographic Programming of Isolated Transactions

Autor:	Smeele, Ton, Jongmans, Sung-Shik
Přispěvatelé:	Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands
Rok vydání:	2023
Předmět:	FOS: Computer and information sciences Computer Science - Programming Languages General Medicine Programming Languages (cs.PL)
Zdroj:	Electronic Proceedings in Theoretical Computer Science. 378:49-60
ISSN:	2075-2180
DOI:	10.4204/eptcs.378.5
Popis:	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. Comment: In Proceedings PLACES 2023, arXiv:2304.05439
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::718b613da8c34c26828824daa750227c https://doi.org/10.4204/eptcs.378.5 Zobrazit plný text záznamu