This chapter introduces a minimal s

This chapter introduces a minimal set of notations to represent distributed algorithms. These notations do not always conform to the syntax of popular programming languages like C or Java. They are only useful to appropriately specify certain key issues of atomicity, nondeterminism, and scheduling in a succinct way. The notations have enough flexibility to accommodate occasional use of even word specifications for representing actions. These specifications are only meant for a human user who is trying to implement the system or reason about its correctness. In [D76], Dijkstra argued about the importance of such a language to influence our thinking habits. This is the motivation behind introducing these simple notations for representing distributed algorithms.

Результаты (русский) 1:

В этой главе представлен минимальный набор обозначений для представления распределенных алгоритмов. Эти обозначения не всегда соответствуют синтаксису популярных языков программирования, как C или Java. Они полезны только надлежащим образом определить некоторые ключевые вопросы атомарность, детерминизма и планирование в сжатой образом. Обозначения имеют достаточную гибкость для случайного использования даже слова спецификаций для представления действий. Эти спецификации предназначены только для человека пользователя, который пытается реализовать систему или рассуждать о ее правильности. В [D76] Дейкстра поспорили о важности такого языка, чтобы влиять на наши привычки мышления. Это мотивация за введение этих простых обозначений для представления распределенных алгоритмов.

Результаты (русский) 2:

В этой главе описываются минимальный набор обозначений для представления распределенных алгоритмов. Эти обозначения не всегда соответствовать синтаксису популярных языков программирования, таких как C или Java. Они полезны только надлежащим образом указать некоторые ключевые вопросы атомарностью, недетерминизма и планирования в сжатом виде. Обозначения имеют достаточную гибкость, чтобы приспособить время от времени использовать даже спецификации слово для представления действий. Эти спецификации предназначены только для пользователя-человека, который пытается внедрить систему или причину о ее правильности. В работах [D76], Дейкстра утверждал о важности такого языка, чтобы влиять на наше мышление привычки. Это мотивация введения этих простых обозначений для представления распределенных алгоритмов.

Результаты (русский) 3:

эта глава содержит минимальный набор указания представлять распространение алгоритмов.эти материалы не всегда соответствуют синтаксис популярных языков программирования, как C и Java.они необходимы только для того, чтобы надлежащим образом определить некоторые ключевые вопросы атомарность, nondeterminism и графиков в сжатой форме.записи имеют достаточную гибкость, позволяющую учитывать периодического использования даже слово спецификаций, представляющих действия.эти характеристики предназначены только для прав пользователя, который пытается внедрить систему или рассуждать о его правильности.[в d76], дейкстра заявил о важности таких язык влияют на наше мышление привычки.это мотив, представляя эти простые указания для представления распространение алгоритмов.