SPI CALCULUS


Англо-русский перевод SPI CALCULUS

эс-пи-исчисление (модификация пи-исчисления для спецификаций криптографических протоколов)

Масловский Е.К.. English-Russian dictionary of computer science.      Англо-Русский словарь по вычислительной технике и программированию.