H.F. Wedde

Formal specification and analysis for reliable and transparent resource management

H.F. Wedde, D.C. Daniels, 1989, Eighth Annual International Phoenix Conference on Computers and Communications. 1989 Conference Proceedings.

Transparent distributed object management under completely decentralized control

B. Korel, H.F. Wedde, W.G. Brown, 1989, [1989] Proceedings. The 9th International Conference on Distributed Computing Systems.

Real-time file performance of a completely decentralized adaptive file system

H.F. Wedde, D. Baran, G.S. Alijani, 1989, [1989] Proceedings. Real-Time Systems Symposium.