А |
Сетевой подход к описанию семантики параллельных систем и процессов |
1983 |
Черкасова Л. А. |
|
|
|
20983 |
02.12.1983 |
СТ |
Параллельные процессы с синхронизацией: сетевой и алгебраический подходы |
1988 |
Филюрин А. С., Черкасова Л. А. |
|
|
|
Языки спецификаций и логическое программирование (Вычислительные системы) |
11.12.1992 |
СТ |
О логике обобщенных процессов и ее взаимосвязи с сетевым описанием систем и процессов |
1986 |
Котов В. Е., Черкасова Л. А. |
|
|
|
Материалы VIII школы-семинара "Персональные компьютеры и локальные сети" |
12.12.1992 |
СТ |
О логиках процессов |
1985 |
Котов В. Е., Черкасова Л. А. |
|
|
|
Многопроцессорные вычислительные системы. VI Всесоюз. школа: Тез.докл. |
12.12.1992 |
П |
Алгебра параллельных недетерминированных процессов: денотационная и операционная семантики |
1990 |
Устименко А. П., Черкасова Л. А. |
|
|
ВЦ СО АН СССР |
|
15.12.1992 |
СТ |
Структурированные сети Петри и их свойства |
1980 |
Котов В. Е., Черкасова Л. А. |
|
|
|
Теоретические основы компиляции |
16.12.1992 |
П |
Два класса иерархических сетей Петри: выразительная мо ность и свойства |
1992 |
Филатова Н. П., Черкасова Л. А. |
|
|
ИСИ СО АН СССР |
|
11.02.1993 |
П |
Алгоритм построения алгебраической спецификации сетей Петри |
1992 |
Окунишникова Е. В., Черкасова Л. А. |
|
|
ИСИ СО АН СССР |
|
28.05.1993 |
СТ |
Исчисления процессов. I |
1993 |
Котов В. Е., Черкасова Л. А. |
|
|
|
Системы программирования. Теория и приложения |
23.09.1993 |
СТ |
Исчесления процессов. I |
1993 |
Котов В. Е., Черкасова Л. А. |
|
|
|
Системы программирования. Теория и приложения |
24.09.1993 |
СТ |
Структурированные сети |
1981 |
Котов В. Е., Черкасова Л. А. |
|
|
|
Кибернетика |
06.06.1995 |