Finite Representations Of Ccs And Tcsp Programs By Automata And Petri Nets
Publisher: Springer
Published: 1989
ISBN-13: 9783540515258