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

страница из

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

Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный.

Report:Computer science / CWI. CS-R8957 : Strong completeness for Hoare logics of recursive processes: an infinitary approach / A.Ponse,F.J.de Vries, 1989. - 36 p. - Текст : непосредственный.

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

Ponse A. Equivalence of recursive specifications in process algebra / A.Ponse,Y.S.Usenko, 2001. - 10 p. - Текст : непосредственный.

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

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

Groote J.F. syntax and semantics of M CRL / J.F.Groote,A.Ponse, 1990. - 35 p. - Текст : непосредственный.

Bergstra J.A. Branching time and orthogonal bisimulation equivalence / J.A.Bergstra,A.Ponse,M.B. van der Zwaag, 2000. - 38 p. - Текст : непосредственный.

Ponse A. logic of ACP / A.Ponse,M. B. van derZwaag, 2002. - 32 p. - Текст : непосредственный.

Ponse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.