action演算簇相关论文
该文针对action演算簇,探讨了它本身的一些理论问题,同时研究了在程序设计语言语义的形式化描述以及在并发交互系统中的一些重要应......
给出具体的Action演算EP的定义,并且应用该演算进一步给出一个并行面向对象语言的语义.通过这个例子,说明了Action演算簇在实际应......