True Concurrency in Models of Asynchronous Circuit Behavior S.J. SilverJ.A. Brzozowski OriginalPaper Pages: 183 - 203
BDD Based Procedures for a Theory of Equality with Uninterpreted Functions Anuj GoelKhurram SajidVigyan Singhal OriginalPaper Pages: 205 - 224
Design and Verification of Distributed Recovery Blocks with CSP W.L. YeungS.A. Schneider OriginalPaper Pages: 225 - 248