Электронный каталог

страница из 2

всего найдено записей: 34,
  отображать
10 записей 20 записей 40 записей

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. A note on n similar parallel processes / J. F. Groote, 1996. - 11 p. - Текст : непосредственный.

CONCUR'91 : материалы временных коллективов / Comp.: J. C.M. Baeten, J. F. Groote, 1991. - IX,540 p. p. - Текст : непосредственный.

Groote J.F. Verification of parallel systems via decomposition / J. F. Groote, F. Moller, 1992. - 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. Analysis of three hybrid systems in timed uCRL / J. F. Groote, 1998. - 24 p. - Текст : непосредственный.

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Groote J.F. Analysis of a distributed system for lifting trucks / J.F.Groote,J.Pang,A.G.Wouters, 2001. - 36 p. - Текст : непосредственный.

Groote J.F. Computer assisted manipulation of algebraic process specifications / J.F.Groote,B.Lisser, 2001. - 16 p. - Текст : непосредственный.

Groote J.F. Process algebra with guards.Combining Hoare logic with process algebra / J.F.Groote,A.Ponse, 1990. - 56 p. - Текст : непосредственный.

Bol R.N. meaning of negative premises in transition system specifications / R.N.Bol,J.F.Groote, 1990. - 44 p. - Текст : непосредственный.

Groote J.F. Transition system specifications with negative premises / J.F.Groote, 1989. - 26 p. - Текст : непосредственный.

Groote J.F. A correctness proof of the bakery protocol in mCRL / J.F.Groote,H.P.Korver, 1994. - 22 p. - Текст : непосредственный.

Groote J.F. Linearization in parallel pCRL / J.F.Groote,A.Ponse,Y.S.Usenko, 2000. - 30 p. - Текст : непосредственный.

Groote J.F. Equational binary decision diagrams / J.F.Groote,J.C.van de Pol, 2000. - 20 p. - Текст : непосредственный.

Groote J.F. State space reduction using partial t-confluence / J.F.Groote,van de Pol, 2000. - 11 p. - Текст : непосредственный.

Groote J.F. Resolution and binary decision diagrams connot simulate each other polynomially / J.F.Groote,H.Zantema, 2000. - 12 p. - Текст : непосредственный.

Groote J.F. short proof of the decidability of bisimulation for normed BPA-processes / J.F.Groote, 1991. - 7 p. - Текст : непосредственный.