Поиск книг, содержащих Parallel composition :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Parallel composition

Книга	Страницы для поиска
Taubner D. — Finite кepresentations of CCS and TCSP зrograms by фutomata and Petri Nets	14
Peterson J.L. — Petri net theory and the modeling of systems	45
Dolev S. — Self-Stabilization	153
Baeten J.C.M., Middelburg С.A. — Process Algebra with timing	19, 23, 58, 91, 144, 179
Eilenberg S. — Automata, languages, and machines. Volume A	422
Clarke E.M., Grumberg O., Peled D.A. — Model checking	187, 188—189, 268—269

О проекте