Discrete Time Process Algebra.

Jos C. M. Baeten, Jan A. Bergstra

Browse the full CONCUR paper archive.