并发计算的元模拟:Ⅴ.并发模型间的关系
讨论pi演算和chi演算之间的关系问题,通过构造从pi演算到chi演算的翻译,证明了chi演算的表达能力不亚于pi演算。该翻译保持操作性质和开互模拟等价的代数性质。
Gespeichert in:
Veröffentlicht in: | Shànghăi jiāotōng dàxué xuébào 2000, Vol.34 (7), p.864-867 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | chi |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | 讨论pi演算和chi演算之间的关系问题,通过构造从pi演算到chi演算的翻译,证明了chi演算的表达能力不亚于pi演算。该翻译保持操作性质和开互模拟等价的代数性质。 |
---|---|
ISSN: | 1006-2467 |