@techreport{vanGlabbeek_GT_19:tr,
    author           = {van Glabbeek, Robert and Gramoli, Vincent and Tholoniat, Pierre},
    date             = {2019-12-10},
    institution      = {Data61, CSIRO},
    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            = dec,
    numpages         = {22},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_GT_19%3Atr.pdf},
    publisher        = {CSIRO},
    title            = {Cross-Chain Payment Protocols with Success Guarantees},
    year             = {2019}
  }