Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

4 Results for Sanders, Beverly A

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. A predicate transformer approach to knowledge and knowledge-based protocols

Sanders, Beverly A. (1992)

Reports Reports

2. Conjunctive predicate transformers for reasoning about concurrent computation

Chandy, K. Mani and Sanders, Beverly A. (1993)

Reports Reports

3. Eliminating the substitution axiom from Unity logic

Sanders, Beverly A. (1990)

Reports Reports

4. Stepwise refinement of mixed specifications of concurrent programs

Sanders, Beverly A. (1989)

Reports Reports