Flexible transactional coordination in the peer model

DOI10.1007/978-3-319-68972-2_8zbMath1498.68189OpenAlexW2761309247MaRDI QIDQ2093153

Eva Kühn

Publication date: 4 November 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-68972-2_8

zbMATH Keywords

concurrent systemsdistributed systemscoordination modelflexible transactions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Flexible transactional coordination in the peer model