4551
правка
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
Строка 12: | Строка 12: | ||
== Нотация == | == Нотация == | ||
Выполнение параллельной системы моделируется историей – конечной последовательностью событий вызова метода и ответа на него. Подыстория истории H представляет собой подпоследовательность событий H. Вызов метода записывается как | Выполнение параллельной системы моделируется ''историей'' – конечной последовательностью событий ''вызова'' метода и ''ответа'' на него. ''Подыстория'' истории H представляет собой подпоследовательность событий H. Вызов метода записывается как <math> \langle x.m(a^*)A \rangle </math>, где <math>x</math> – объект, <math>m</math> – имя метода, <math>a^*</math> – последовательность аргументов, а <math>A</math> – поток. Ответ метода записывается как <math> \langle x: t(r^*)A \rangle </math>, где <math>t</math> – условие завершения, а <math>r^*</math> – последовательность значений результата. | ||
правка