Institutional Repository
| Trace theory | |
| Antoni Mazurkiewicz | |
| Source | Lecture Notes in Computer Science |
| Other responsible | Springer |
| 1987 | |
| Publisher | Springer Berlin / Heidelberg |
| Publish Place | Berlin / Heidelberg |
| Keyword | Concurrency Traces Processes Partial Ordering Petri Nets |
| English Abstract | 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. |
| Language | 英语 |
| Content Type | 专著章节/文集论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/1375 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Antoni Mazurkiewicz. Trace theory. Lecture Notes in Computer Science. Berlin / Heidelberg:Springer Berlin / Heidelberg,1987. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| Trace theory.pdf（1569KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment