@BOOK{ Book!D - 101373402,
AUTHOR = "Dirk Taubner",
TITLE = "Finite representations of CCS and TCSP programs by automata and Petri nets",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(",
URL = "/book/101373402/Finite-representations-of-CCS-and-TCSP-programs-by/"}