The following pages link to (Q4258224):
Displaying 7 items.
- Formal derivation of an algorithm for distributed phase synchronization (Q673351) (← links)
- Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations (Q2256965) (← links)
- Invariant-based reasoning about parameterized security protocols (Q2268473) (← links)
- Streamlining progress-based derivations of concurrent programs (Q2481207) (← links)
- Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency (Q2829245) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
- An Algebraic Approach to Refinement with Fair Choice (Q5403463) (← links)
