Skip to content

A Uniform Reduction Equivalence for Process Calculi.

Zining Cao

VenueBAPLAS
Year2004
ProceedingsAPLAS

Browse the full APLAS paper archive.