О том, что будет дальше в этой лекции
Представив механизм дуэлей, мы завершили определение набора инструментов, необходимых для реализации параллельности. В оставшейся части этой лекции приведен большой набор примеров для различных приложений, использующий эти инструменты. После примеров вы найдете:
- набросок правил доказательства для читателей, склонных к математике;
- сводку средств предложенного механизма параллельности с его синтаксисом, правилами корректности и семантикой;
- обсуждение целей этого механизма и дальнейшей необходимой работы;
- подробную библиографию других работ в этой области.
