Вы здесь

Черкасова Л. А.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
А Сетевой подход к описанию семантики параллельных систем и процессов 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