A Ground-Complete Axiomatization of Finite State Processes in Process Algebra.

Jos C. M. Baeten, Mario Bravetti

Browse the full CONCUR paper archive.