An Instruction Set Process Calculus.

Shiu-Kai Chin, Jang Dae Kim

Browse the full FMCAD paper archive.