Choreographic Programming of Isolated Transactions.

Ton Smeele Sung-Shik Jongmans

Published in: CoRR (2023)

Keyphrases

programming language
database
concurrency control
programming environment
real time
databases
learning algorithm
information systems
web pages
case study
high level
distributed database systems
nested transactions