William E. Weihl

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
When does a correct mutual exclusion algorithm guarantee mutual exclusion? Information Processing Letters	2000-12-12	Paper
Hybrid atomicity for nested transactions Theoretical Computer Science	1997-02-28	Paper
Deriving global virtual time algorithms from conservative simulation protocols Information Processing Letters	1997-02-28	Paper
Specification and verification of object-oriented programs using supertype abstraction Acta Informatica	1996-02-25	Paper
On the correctness of orphan management algorithms Journal of the ACM	1994-08-21	Paper
The impact of recovery on concurrency control Journal of Computer and System Sciences	1993-10-10	Paper
Hybrid concurrency control for abstract data types Journal of Computer and System Sciences	1992-06-25	Paper
Commutativity-based locking for nested transactions Journal of Computer and System Sciences	1990-01-01	Paper
Two phase gossip: Managing distributed event histories Information Sciences	1989-01-01	Paper
Commutativity-based concurrency control for abstract data types IEEE Transactions on Computers	1988-01-01	Paper
scientific article; zbMATH DE number 4084989 (Why is no real title available?)	1988-01-01	Paper
Reaching approximate agreement in the presence of faults Journal of the ACM	1986-01-01	Paper

Research outcomes over time

This page was built for person: William E. Weihl