@inproceedings{vanGlabbeek_GT_20, address = {Virtual event}, author = {van Glabbeek, Robert and Gramoli, Vincent and Tholoniat, Pierre}, booktitle = {32nd ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2020}, date = {2020-7-14}, doi = {https://doi.org/10.1145/3350755.3400264}, keywords = {Cross-chain payment protocols; distributed systems; fault tolerance; blockchain; asynchronous networks of timed automata; asynchronous communication; clock skew; safety and liveness properties; cross-chain deals.}, month = jul, pages = {579-581}, paperurl = {https://trustworthy.systems/publications/full_text/vanGlabbeek_GT_20.pdf}, publisher = {ACM}, title = {Feasibility of Cross-Chain Payment with Success Guarantees}, year = {2020} }