The following pages link to Beverly A. Sanders (Q751847):
Displaying 11 items.
- Eliminating the substitution axiom from UNITY logic (Q751848) (← links)
- A predicate transformer for the progress property `to-always' (Q1377323) (← links)
- Data refinement of mixed specifications: A generalization of UNITY (Q1386404) (← links)
- Parallel programming with a pattern language (Q1606813) (← links)
- The shortest path in parallel (Q1607105) (← links)
- Predicate transformers for reasoning about concurrent computation (Q1893538) (← links)
- Java Memory Model-Aware Model Checking (Q2894274) (← links)
- A private good/public good decomposition for optimal flow control of an<tex>M/M/1</tex>queue (Q3706803) (← links)
- (Q4576437) (← links)
- Using atomic await commands to develop concurrent programs in Java (Q4798473) (← links)
- A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract) (Q5255821) (← links)
