Вход
Электронный каталог
Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный.
Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный.
Groote J.F. complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data / J. F. Groote, S. P. Luttik, 1998. - 12 p. - Текст : непосредственный.
Лицевая сторона карточки | Обратная сторона карточки |
Лицевая сторона карточки | Обратная сторона карточки |
Groote J.F. short proof of the decidability of bisimulation for normed BPA-processes / J.F.Groote, 1991. - 7 p. - Текст : непосредственный.