Download Finite Reresentations Of Ccs And Tcsp Programs By Automata And Petri Nets