并发计算的元模型Ⅴ.并发模型间的关系
TP301.6; 讨论pi演算和chi演算之间的关系问题.通过构造从pi演算到chi演算的翻译,证明了chi演算的表达能力不亚于pi演算.该翻译保持操作性质和开互模拟等价的代数性质.
Gespeichert in:
| Veröffentlicht in: | 上海交通大学学报 2000, Vol.34 (7), p.864-867 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | chi |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | TP301.6; 讨论pi演算和chi演算之间的关系问题.通过构造从pi演算到chi演算的翻译,证明了chi演算的表达能力不亚于pi演算.该翻译保持操作性质和开互模拟等价的代数性质. |
|---|---|
| ISSN: | 1006-2467 |
| DOI: | 10.3321/j.issn:1006-2467.2000.07.002 |