Paul K. Harter Jr.

According to our database, Paul K. Harter Jr. authored at least 5 papers between 1981 and 1993.

Collaborative distances:

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

1993

Book Review: Verifying Temporal Properties of Systems by Julian Charles Bradfield.

Paul K. Harter Jr.

ACM SIGOPS Oper. Syst. Rev., 1993

Book Review: The Temporal Logic of Reactive and Concurrent Systems, Vol. I Specification by Zahar Manna and Amir Pnueli.

Paul K. Harter Jr.

ACM SIGOPS Oper. Syst. Rev., 1993

1985

IDD: An Interactive Distributed Debugger.

Paul K. Harter Jr., Dennis Heimbigner, Roger King

Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

1983

Book Review: Medusa, A Distributed Operating System by John K. Ousterhout.

Paul K. Harter Jr.

ACM SIGOPS Oper. Syst. Rev., 1983

1981

Proving Real-Time Properties of Programs with Temporal Logic.

Arthur J. Bernstein, Paul K. Harter Jr.

Proceedings of the Eighth Symposium on Operating System Principles, 1981