📖 Структурированные системы переходов

В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систем, таких как вычислительные машины и комплексы с...

О книге

автор, издательство, серия
Издательство
ФИЗМАТЛИТ
ISBN
5-9221-0692-9
Год
2006