E- text books

Description

Title of E-book: Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
Author: Taubner 
Publisher: Springer
Access online  

Publication date: 1989