上下文无关相关论文
为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视......
形式语言与自动机理论已成为计算机科学的理论基础；对一程序设计语言的说明和分析尤其重要。文中介绍了形式语言与自动柚理论中的基......
