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…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
