94
правки
Изменения
Новая страница: «Категория: Параллельное программирование '''Локальный предикат''' - предикат над состоян…»
[[Категория: Параллельное программирование]]
'''Локальный предикат''' - предикат над состоянием одного процесса.
'''Слабый конъюнктивный предикат''' - предикат, истинный на каком-то конкретном срезе, и находящийся в конъюнктивной форме.
'''Локальный предикат''' - предикат над состоянием одного процесса.
'''Слабый конъюнктивный предикат''' - предикат, истинный на каком-то конкретном срезе, и находящийся в конъюнктивной форме.
