ISCAS OpenIR
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.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
Trace theory.pdf(1569KB) 开放获取使用许可请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Antoni Mazurkiewicz]的文章
百度学术
百度学术中相似的文章
[Antoni Mazurkiewicz]的文章
必应学术
必应学术中相似的文章
[Antoni Mazurkiewicz]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。