Elementary structures in process theory (1): Sets with renaming

Kohei Honda. Elementary structures in process theory (1): Sets with renaming. Mathematical Structures in Computer Science, 10(5):617-663, 2000.

Abstract

Abstract is missing.