Thomas H. Bredt

According to our database, Thomas H. Bredt authored at least 8 papers between 1970 and 1982.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1982

The Emerging IEEE 802 Standard.

Thomas H. Bredt

Proceedings of the COMPCON'82, 1982

1976

Verification of a Monitor Specification.

Ashok R. Saxena, Thomas H. Bredt

Proceedings of the 2nd International Conference on Software Engineering, 1976

Design and Verification of Real-Time Systems.

J. V. Phillips, Thomas H. Bredt

Proceedings of the 2nd International Conference on Software Engineering, 1976

1975

Error Resynchronization in Producer-Consumer Systems.

David L. Russell, Thomas H. Bredt

Proceedings of the Fifth Symposium on Operating System Principles, 1975

A structured specification of a hierarchical operating system.

Ashok R. Saxena, Thomas H. Bredt

Proceedings of the International Conference on Reliable Software 1975, 1975

1974

A Comparison of Models of Parallel Computation.

James L. Peterson, Thomas H. Bredt

Proceedings of the Information Processing, 1974

1971

Analysis of Parallel Systems.

Thomas H. Bredt

IEEE Trans. Computers, 1971

1970

Control of parallel processes.

Thomas H. Bredt

PhD thesis, 1970