Слабый конъюнктивный предикат — различия между версиями
(Новая страница: «Категория: Параллельное программирование '''Локальный предикат''' - предикат над состоян…») |
(нет различий)
|
Версия 17:16, 26 июня 2010
Локальный предикат - предикат над состоянием одного процесса. Слабый конъюнктивный предикат - предикат, истинный на каком-то конкретном срезе, и находящийся в конъюнктивной форме.
