更多详情 在线阅读
被引数量: 75
评价数量: 0
馆藏高校

{{holding.name}}

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

ISBN: 9780521018456 出版年:1991 页码:279 E -R Olderog Cambridge University Press

知识网络
知识图谱网络
内容简介

1. Introduction 2. Petri nets 3. Process terms 4. Logical formulas 5. Process construction 6. Extensions References.

Amazon评论 {{comment.person}}

{{comment.content}}

作品图片
推荐图书