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

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

    Klusener A.S. executable semantics for a subset of COLD / A. S. Klusener, 1991. - 35 p. - Текст : непосредственный.

    Brovedani C. A verification of the bakery protocol combining algebraic and model-oriented techniques / C. Brovedani, A. S. Klusener, 1996. - 24 p. - Текст : непосредственный.

    Industrial applications of ASF+SDF / M.van den Brand, A.van Deursen, P. Klint, A. S. Klusener, 1996. - 11 p. - Текст : непосредственный.

    Klusener A.S. Completeness in real time process algebra / A. S. Klusener, 1991. - 57 p. - Текст : непосредственный.

    Klusener A.S. Abstraction in real time process algebra / A.S.Klusener, 1991. - 32 p. - Текст : непосредственный.

    Klusener A.S. Service independent building blocks. Pt. 1 : Concepts,examples and formal specifications, 1993. - 63 p. - Текст : непосредственный.

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

    Klusener A.S. The silent step in time / A.S.Klusener, 1992. - 73 p. - Текст : непосредственный.

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