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