并发计算的元模拟:Ⅴ.并发模型间的关系

讨论pi演算和chi演算之间的关系问题,通过构造从pi演算到chi演算的翻译,证明了chi演算的表达能力不亚于pi演算。该翻译保持操作性质和开互模拟等价的代数性质。

Gespeichert in:
Bibliographische Detailangaben
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!
Beschreibung
Zusammenfassung:讨论pi演算和chi演算之间的关系问题,通过构造从pi演算到chi演算的翻译,证明了chi演算的表达能力不亚于pi演算。该翻译保持操作性质和开互模拟等价的代数性质。
ISSN:1006-2467