Поиск
На сайте: 684726 статей, 309203 фото.

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (книга)

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
Автор: E. R. Olderog
C. J. van Rijsbergen
Оригинал издан: ????

«Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship»книга ???? года.

Содержание

Содержание

От издателя

«The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to describe all details of the operational machine behavior of processes. Algebraic process terms such…»

Рецензии

См. также

Ссылки