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

    страница из
    всего найдено записей: 16,
      отображать

    Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный.

    Fokkink W.J. simple specification language combining processes,time and data / W. J. Fokkink, 1992. - 28 p. - Текст : непосредственный.

    Fokkink W.J. Idempotent most general unifiers for infinite sets / W. J. Fokkink, 1994. - 7 p. - Текст : непосредственный.

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

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

    Bonini C. A reference model for teleconferencing systems / C.Bonini,W.J.Fokkink,A.Lesch, 1995. - 18 p. - Текст : непосредственный.

    Report: Software engineering / Centrum voor wiskunde en informatica(Amsterdam). SEN-R0229 : Cones and foci for protocol verification revisited / W.J.Fokkink,J.Pang, 2002. - 17 p. - Текст : непосредственный.

    Fokkink W.J. An effective axiomatization for real time ACP / W.J.Fokkink,A.S.Klusener, 1995. - 26 p. - Текст : непосредственный.

    Fokkink W.J. Regular processes with relative time and silent steps / W.J.Fokkink, 1992. - 21 p. - Текст : непосредственный.

    Fokkink W.J. Normal forms in real time process algebra / W.J.Fokkink, 1991. - 22 p. - Текст : непосредственный.

    Fokkink W.J. Real time process algebra with prefixed integration / W.J.Fokkink,A.S.Klusener, 1992. - 44 p. - Текст : непосредственный.

    Fokkink W.J. A complete equational axiomatisation for prefix iteration / W.J.Fokkink, 1994. - 6 p. - Текст : непосредственный.

    Fokkink W.J. The tyft/tyxt format reduces to tree rules / W.J.Fokkink, 1993. - 13 p. - Текст : непосредственный.

    Fokkink W.J. Basis process algebra with iteration:completeness of its equational axioms / W.J.Fokkink,H.Zantema, 1993. - 16 p. - Текст : непосредственный.

    Fokkink W.J. Ntyft/ ntyxt rules reduce too tree rules / W.J.Fokkink,R.J.van Glabbeek, 1995. - 16 p. - Текст : непосредственный.

    Fokkink W.J. Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems / W.J.Fokkink,J.F.Kamperman,H.R.Walters, 1997. - 30 p. - Текст : непосредственный.