Beverly A. Sanders

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4576437	2018-07-12	Paper
A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)	2015-06-19	Paper
Java Memory Model-Aware Model Checking	2012-06-29	Paper
Parallel programming with a pattern language	2002-07-25	Paper
The shortest path in parallel	2002-07-25	Paper
Using atomic await commands to develop concurrent programs in Java	2000-01-01	Paper
A predicate transformer for the progress property `to-always'	1998-05-25	Paper
Data refinement of mixed specifications: A generalization of UNITY	1998-05-24	Paper
Predicate transformers for reasoning about concurrent computation	1995-07-25	Paper
Eliminating the substitution axiom from UNITY logic	1991-01-01	Paper
A private good/public good decomposition for optimal flow control of an<tex>M/M/1</tex>queue	1985-01-01	Paper

This page was built for person: Beverly A. Sanders