The Delaying the Future approach provides a framework for reasoning about the order of events in executions: under precise conditions we identified, events can be postponed and reordered in ways that remain indistinguishable to processes. This approach applies across different computational models. Characterizing the conditions under which this is possible requires defining an appropriate relation between events for each model, capturing when order must be preserved. This talk will show how the approach yields clean characterizations of communication requirements in asynchronous message-passing systems (DISC 2024), and how the same reasoning extends to shared-memory systems under the TSO memory model (DISC 2025). This talk highlights the power of the Delaying the Future approach and its practical implications for implementing standard objects such as registers.
stellarstellar.orgcryptocurrencypayment protocolbitcoinxlmblockchainstellar development foundationlumensSDFsmart contractspayment rails