Title: Finite Representations Of Ccs And Tcsp Programs By Automata And Petri Nets