Polarized Process Algebra and Program Equivalence.

Jan A. Bergstra, Inge Bethke

Browse the full ICALP paper archive.