异步非对称Chi演算的互模拟格 |
| |
作者单位: | 浙江师范大学数理信息学院 浙江金华321004 |
| |
摘 要: | 异步非对称Chi演算是目前更接近于现在的分布式程序语言的形式化系统。本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异步非对称Chi演算的语法和操作语义,引入一组L-互模拟关系,构造了异步非对称Chi演算的互模拟格。
|
关 键 词: | 进程代数 异步非对称Chi演算 互模拟格 互模拟 |
The Bisimulation of Asynchronous Asymmetric Processes |
| |
Authors: | Lin Zhu-Wei Zhong Fa-Rong |
| |
Institution: | Lin Zhu-Wei Zhong Fa-Rong |
| |
Abstract: | The asynchronous asymmetric x-calculus is a formalism system which is more adjacent to the present distributed programming language up to now. The paper studies all kinds of bisimilarities of the asynchronous asymmetric x-calculus. The paper defines the syntax and semantics of the asynchronous asymmetric x-calculus , introduces a group of L-bisimilarities and constructs the bisimulation lattice of the asynchronous asymmetric x-calculus. |
| |
Keywords: | process algebra the asynchronous asymmetric x-calculus the bisimulation lattice bisimulation |
本文献已被 CNKI 等数据库收录! |