📖 Структурированные системы переходов
В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систем, таких как вычислительные машины и комплексы с...
О книге
автор, издательство, серия- Издательство
- ФИЗМАТЛИТ
- ISBN
- 5-9221-0692-9
- Год
- 2006