Institutional Repository
| Structural operational semantics for weak bisimulations | |
| Bard Bloom | |
| 1995 | |
| Source | Theoretical Computer Science
 |
| Volume | 146Issue:1-2Pages:25-68 |
| Indexed Type | 其他 |
| Cooperation Status | 其它 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/1274 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Bard Bloom. Structural operational semantics for weak bisimulations[J]. Theoretical Computer Science,1995,146(1-2):25-68. |
| APA | Bard Bloom.(1995).Structural operational semantics for weak bisimulations.Theoretical Computer Science,146(1-2),25-68. |
| MLA | Bard Bloom."Structural operational semantics for weak bisimulations".Theoretical Computer Science 146.1-2(1995):25-68. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| bj01119475.pdf（2675KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment