Математическое исчисление процессов с высокоуровневым механизмом обработки сообщений, адекватно абстрагирующие соответствующий низкоуровневый механизм (на основе IP-адресов, портов и сокетов), который используется в современных компьютерных системах, носит название