William E. Weihl

Available identifiers

Publication	Date of Publication	Type
When does a correct mutual exclusion algorithm guarantee mutual exclusion?	2000-12-12	Paper
Hybrid atomicity for nested transactions	1997-02-28	Paper
Deriving global virtual time algorithms from conservative simulation protocols	1997-02-28	Paper
Specification and verification of object-oriented programs using supertype abstraction	1996-02-25	Paper
On the correctness of orphan management algorithms	1994-08-21	Paper
The impact of recovery on concurrency control	1993-10-10	Paper
Hybrid concurrency control for abstract data types	1992-06-25	Paper
Commutativity-based locking for nested transactions	1990-01-01	Paper
Two phase gossip: Managing distributed event histories	1989-01-01	Paper
Commutativity-based concurrency control for abstract data types	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3814780	1988-01-01	Paper
Reaching approximate agreement in the presence of faults	1986-01-01	Paper

This page was built for person: William E. Weihl