D. K. Probst

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Using partial-order semantics to avoid the state explosion problem in asynchronous systems

D. K. Probst and others (1991) · American Mathematical Society

Abstract specification, composition, and proof of correctness of delay-insensitive circuits and systems

D. K. Probst and others (1989) · Concordia University, Department of Computer Science