Pr869 Pr869/625 Pr869/625 / Pr869/625-02 Vogler, Walter. Modular construction and partial order semantics of Petri nets : сборник / W. Vogler. - Berlin [et al.] : Springer, 1992. - VIII, 252 p. : Ill. - (Lecture notes in computer science ; 625) Bibliogr.: p. 241-249. - Ind.: p. 250-252 Перевод заглавия: Модульная конструкция и семантика частичного упорядочения сетей Петри Рубрики: Теория систем--Математические методы Кл.слова (ненормированные): семантика -- бисимуляция -- процесс алгебры Дескрипторы: сб пр -- моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/715 Pr869/715 / Pr869/715-02 CONCUR '93 : 4th Intern. conf. on concurrency theory Hildesheim, Germany, Aug. 23-26, 1993. Proceedings / E. Best (Ed.). - Berlin [et al.] : Springer, 1993. - IX, 540 p. : Ill. - (Lecture notes in computer science ; 715). - Bibliogr. at the end of the art. - Auth. ind. at the end of the book Перевод заглавия: Труды международной конференции по теории совпадения Рубрики: Программное обеспечение--ЭВМ Кл.слова (ненормированные): бисимуляция -- процесс алгебры -- временная верификация Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |