首页>
外国专利>
MODULE SYSTEM FOR POLYMORPHIC PI-CALCULUS
MODULE SYSTEM FOR POLYMORPHIC PI-CALCULUS
展开▼
机译:多态PI演算模块系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method and apparatus is disclosed herein for using a module system for polymorphic π-calculus. In one embodiment, the method comprises receiving a formal specification of a software program; and performing automatic analysis on the formal specification using a module system fitted with processes of the polymorphic π-calculus processes.
展开▼