Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels
From MaRDI portal
Publication:780055
DOI10.1016/J.JLAMP.2020.100560zbMath1451.68191OpenAlexW3026610525MaRDI QIDQ780055
Publication date: 14 July 2020
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2020.100560
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
Uses Software
Cites Work
This page was built for publication: Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels