Money Transfer Made Simple: a Specification, a Generic Algorithm, and
its Proof

Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof

18 June 2020

François Taïani

Papers citing "Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof"

8 / 8 papers shown

Title
Process-Commutative Distributed Objects: From Cryptocurrencies to Byzantine-Fault-Tolerant CRDTs Davide Frey Lucie Guillou Michel Raynal François Taïani 44 1 0 23 Nov 2023
Flash: An Asynchronous Payment System with Good-Case Linear Communication Complexity Andrew Lewis-Pye O. Naor Ehud Shapiro 19 15 0 05 May 2023
The Synchronization Power (Consensus Number) of Access-Control Objects: The Case of AllowList and DenyList Davide Frey Mathieu Gestin Michel Raynal 19 7 0 13 Feb 2023
SyncPCN/PSyncPCN: Payment Channel Networks without Blockchain Synchrony Ouguzhan Ersoy Jérémie Decouchant Satwik Prabhu Kimble Stefanie Roos 33 7 0 23 Jul 2022
Consensus on Demand Jakub Sliwinski Yann Vonlanthen Roger Wattenhofer 25 3 0 08 Feb 2022
Who Needs Consensus? A Distributed Monetary System Between Rational Agents via Hearsay Yanni Georghiades Robert P. Streit V. K. Garg 25 1 0 15 Apr 2021
Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications V. Cholvi Antonio Fernández Chryssis Georgiou N. Nicolaou Michel Raynal Antonio Russo 24 8 0 16 Mar 2021
Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer Shir Cohen I. Keidar 24 11 0 21 Feb 2021