David L. Cohrs

According to our database, David L. Cohrs authored at least 4 papers between 1987 and 1989.

Collaborative distances:

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

1989

Specification and Verification of Network Managers for Large Internets.

David L. Cohrs, Barton P. Miller

Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989

1988

A Visual Process Connector for Unix.

Mitali Bhattacharyya, David L. Cohrs, Barton P. Miller

IEEE Softw., 1988

Distributed Upcalls: A Mechanism for Layering Asynchronous Abstractions.

David L. Cohrs, Barton P. Miller, Lisa A. Call

Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

1987

CLAM - an Open System for Graphical User Interfaces.

Lisa A. Call, David L. Cohrs, Barton P. Miller

Proceedings of the Conference on Object-Oriented Programming Systems, 1987