Process Algebra with a Zero Object.

Jos C. M. Baeten, Jan A. Bergstra

Browse the full CONCUR paper archive.