Cross-chain payment protocols with success guarantees

DOI10.1007/s00446-023-00446-0arXiv1912.04513OpenAlexW2996756942MaRDI QIDQ6099031

Robert J. van Glabbeek, Vincent Gramoli, Pierre Tholoniat

Publication date: 19 June 2023

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1912.04513

zbMATH Keywords

distributed systemsfault toleranceasynchronous communicationblockchainsafety and liveness propertiesclock driftasynchronous networks of timed automatacross-chain payment protocols

Mathematics Subject Classification ID

Distributed systems (68M14) Distributed algorithms (68W15)

Cites Work

• Unnamed Item
• Asynchronous byzantine agreement protocols
• A theory of timed automata
• SoK: communication across distributed ledgers
• Atomic Cross-Chain Swaps
• Communicating Timed Automata: The More Synchronous, the More Difficult to Verify

This page was built for publication: Cross-chain payment protocols with success guarantees