Вход
Электронный каталог
Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 p. - Текст : непосредственный.
transition system semantics for the control-driven coordination language MANIFOLD / M. M. Bonsangue, F. Arbab, J.W. de Bakker, J. J.M.M. Ritten, 1998. - 38 p. - Текст : непосредственный.
Arbab F. Examples in Manifold / F. Arbab, I. Herman, 1990. - 25 p. - Текст : непосредственный.
Лицевая сторона карточки | Обратная сторона карточки |
Arbab F. logical interface description language for components / F.Arbab,M.M.Bonsangue,F.S. de Boer, 2000. - 17 p. - Текст : непосредственный.
Arbab F. coordination language for mobile components / F.Arbab,M.M.Bonsangue,F.S. de Boer, 1999. - 15 p. - Текст : непосредственный.