
Tell your friends about this item:
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets - Lecture Notes in Computer Science 1989 edition
Dirk A. Taubner
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets - Lecture Notes in Computer Science 1989 edition
Dirk A. Taubner
Due to intrinsic limits, which are also investigated here, neither for transition systems and finite nets, nor for general nets does a finite consistent representation of all CCS and TCSP programs exist.
172 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | August 9, 1989 |
ISBN13 | 9783540515258 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 172 |
Dimensions | 155 × 235 × 9 mm · 267 g |
Language | English |
See all of Dirk A. Taubner ( e.g. Paperback Book )