Pause 'n' Play: Formalizing Asynchronous C#
No abstract available.
Related papers
- Scalable formal design methods for asynchronous VLSI POPL 2002
- SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols PLDI 2026
- PSync: a partially synchronous language for fault-tolerant distributed algorithms POPL 2016
- Multiparty asynchronous session types POPL 2008
- Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic CAV 1991
- Verifying Asynchronous Hyperproperties in Reactive Systems OOPSLA 2025
- TinkerType: a language for playing with formal systems JFP 2003
- Semantics of asynchronous JavaScript DLS 2017