бисимуляция

Винарский Е.М. Захаров В.А. О некоторых свойствах временных машин с конечным числом состояний // Системная информатика. — . — № 17.  — С. 11-20
Грибовская Н.С. Вирбицкайте И.Б. Семантика систем переходов структур событий с отменяемыми событиями при сохранении причинно-следственной зависимости // Системная информатика. — . — № 24.  — С. 59-90
Подписаться на бисимуляция