Taubner,, Dirk
Finite representations of CCS and TCSP programs by automata and Petri Nets / Dirk Taubner
Finite representations of CCS and TCSP programs by automata and Petri Nets / Dirk Taubner
. - Berlin : Springer-Verlag, cop. 1989
. - X, 168 p. 25 cm
. - (Lecture notes in computer science; 369)
3-540-51525-9 (Brochado)
519.6
681.5