Вход
Электронный каталог
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. - Текст : непосредственный.
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. - Текст : непосредственный.