Active-Passive Deterministic Parallel System Specification Using Z.

Tsai Chi Huang, Roy W. Melton, Philip R. Bingham, Linda M. Wills, Cecil O. Alford

Browse the full PDPTA paper archive.