| Trace theory |
| Antoni Mazurkiewicz
|
| 专著(文集)名 | Lecture Notes in Computer Science
|
| 编著者 | Springer
|
| 1987
|
| 出版者 | Springer Berlin / Heidelberg
|
| 出版地 | Berlin / Heidelberg
|
| 关键词 | Concurrency
Traces
Processes
Partial Ordering
Petri Nets
|
| 英文摘要 | The concept of traces has been introduced for describing non-sequential behaviour of concurrent systems via its sequential observations. Traces represent concurrent processes in the same way as strings represent sequential ones. The theory of traces can be used as a tool for reasoning about nets and it is hoped that applying this theory one can get a calculus of the concurrent processes anologous to that available for sequential systems. The following topics will be discussed: algebraic properties of traces, trace models of some concurrency phenomena, fixed-point calculus for finding the behaviour of nets, modularity, and some applications of the presented theory. |
| 语种 | 英语
|
| 内容类型 | 专著章节/文集论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/1375
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
Antoni Mazurkiewicz. Trace theory. Lecture Notes in Computer Science. Berlin / Heidelberg:Springer Berlin / Heidelberg,1987.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论