Refinement of actions for real-time concurrent systems with casual ambiguity | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Majster-Cederbaum M.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2006

Ключевые слова:

параллелизм

структура событий

временной

семантика

бисимуляция

эквивалентность

Стр.:

P.389-418

Библиография:

Bibliogr.: p.416-418

Источник:

Acta Informatica

Номер:

6-7

Том:

42

Карточка:

Б2.2.

Majster-Cederbaum M., Wu J., Yue H..

Refinement of actions for real-time concurrent systems with casual ambiguity// Acta Informatica-2006, №6-7.-Vol. 42.-P.389-418
Bibliogr.: p.416-418

Таблица в старой библиотеке:

PAP30 634