Рассмотрим сложную систему с множеством процессов.Внутри системы существует закрытая группа, в которой процессы, присоединившиеся к этой группе, могут обмениваться сообщениями из внешнего мира.Все процессы, входящие в систему, образуют множество Procs.Процессы, которые присоединились к группе, являются частью набора Присоединение, в то время как процессы, которые еще не присоединились или оставили, являются частью левого.
• Принимая тип P для процессов, определите схему CmpS, представляющую комплексsystem.
• Определить схему операции initSys, которая инициализирует сложную систему.
• Определить схему операции объединения, которая добавляет процесс p в группу.
• Определите схему операции выхода, которая удаляет процесс p из группы.
• Определите схему операции create, которая добавляет процесс p в сложную систему.