Formalization of P Systems by Maude

• 作 者: 戚正伟 尤晋元
• 机 构: Dept.ofComputerScienceandEng.
• 出 处: 上海交通大学学报：英文版
• 发表日期: 2005年3期
• 关键词: 逻辑学 语义结构 P系统 计算机 自动译码器 rewriting logic P systems Maude
• 基金项目: 国家自然科学基金，国家重点基础研究发展计划(973计划)，上海市科委资助项目

Rewriting logic is a unified model of concurrency, which provides a formal common framework of wellknown models of concurrent systems. A new formal method of the specification and execution of P systems using rewriting logic was proposed. The powerful too