Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 196 стр.

      14. Какие      компоненты       входят   в   описание     событий,
характеризующих любого i-го философа, ожидающего трапезу, и
обедающего философа?
      15. В чем заключается особенность формализации события,
определяющего захват разделяемого ресурса в задаче «обедающие
философы», в отличие от формализации события, определяющего тоже
захват разделяемого ресурса, но только одного?
      16. В чем проявляется общность описания основных событий,
определяющих бесконфликтность межпроцессного взаимодействия при
решении задач такого взаимодействия, связанных с организацией обращения
процессов к разделяемым ресурсам?




                                                                     196