The following pages link to (Q5357725):
Displaying 5 items.
- Towards a formal treatment of implicit invocation using rely/guarantee reasoning (Q1293883) (← links)
- A reduction semantics for direct-style asynchronous observables (Q2423763) (← links)
- Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency (Q2988639) (← links)
- (Q4493900) (← links)
- Synchronizing the asynchronous (Q5009435) (← links)