Beverly A. Sanders

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 6902733 (Why is no real title available?)	2018-07-12	Paper
A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract) Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91	2015-06-19	Paper
Java Memory Model-Aware Model Checking Tools and Algorithms for the Construction and Analysis of Systems	2012-06-29	Paper
Parallel programming with a pattern language International Journal on Software Tools for Technology Transfer. STTT	2002-07-25	Paper
The shortest path in parallel Information Processing Letters	2002-07-25	Paper
Using atomic await commands to develop concurrent programs in Java Software - Concepts & Tools	2000-01-01	Paper
A predicate transformer for the progress property `to-always' Formal Aspects of Computing	1998-05-25	Paper
Data refinement of mixed specifications: A generalization of UNITY Acta Informatica	1998-05-24	Paper
Predicate transformers for reasoning about concurrent computation Science of Computer Programming	1995-07-25	Paper
Eliminating the substitution axiom from UNITY logic Formal Aspects of Computing	1991-01-01	Paper
A private good/public good decomposition for optimal flow control of an<tex>M/M/1</tex>queue IEEE Transactions on Automatic Control	1985-01-01	Paper

Research outcomes over time

This page was built for person: Beverly A. Sanders