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

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

    Boer F.S.de Embedding as a tool for language comparison / F. S.de Boer, C. Palamidessi, 1991. - 20 p. - Текст : непосредственный.

    America P.H.M. proof theory for a sequential version of POOL / P. H.M. America, F. S.de Boer, 1991. - 110 p. - Текст : непосредственный.

    Boer F.S.de proof theory for the language POOL / F. S.de Boer, 1991. - 73 p. - Текст : непосредственный.

    failure of failures in a paradigm for asynchronous communication / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.M.Rutten, 1991. - 19 p. - Текст : непосредственный.

    Control flow versus logic: a denotational and a declarative model for quarded Horn clauses / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.Rutten, 1989. - 15 p. - Текст : непосредственный.

    Semantic models for a version of Parlog / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.Rutten, 1989. - 30 p. - Текст : непосредственный.

    America P.H.M. proof theory for process creation / P.H.M.America,F.S.de Boer, 1991. - 83 p. - Текст : непосредственный.

    channel-based coordination model for components / F.Arbab,F.S.deBoer,M.M.Bonsangue,J.V.Guillen Scholten, 2001. - 15 p. - Текст : непосредственный.

    MoCha: a framework for coordination using mobile channels / F.Arbab,F.S.deBoer,M.M.Bonsangue,J.V.Guillen Scholten, 2001. - 14 p. - Текст : непосредственный.