μCRL与mCRL2的完整发展史

《Formal Aspects of Computing》：A Comprehensive History of μCRL and mCRL2

　　

摘要AI 摘要

要查看此 AI 生成的摘要，您必须拥有高级访问权限。

了解更多登录

摘要

摘要

本文从创立至今，对 $\mu$CRL 及其继任者 mCRL2 的背景、动机和发展进行了历史概述。mCRL2 和 $\mu$CRL 都是相似且紧凑，但表达能力极强的形式化方法，它们基于进程代数、项重写和模态 μ 演算。它们被开发用于建模和分析交互系统的行为，即通过消息交换与其他系统及外部世界进行通信的系统。每一个现代计算机系统都可以被视为这样的交互系统，而它们的通信方案很难正确设计。通过坚持数学基础，但以追求实际相关性为指导，该形式化方法已经发展到非常通用。特别是，mCRL2 不仅促进了理论的发展和正确性证明的制定，它还是一系列自动工具的基础，这些工具有助于深入了解复杂计算机控制系统的行为。

AI 摘要

AI 生成的摘要（实验性）

本摘要由自动化工具生成，未经本文作者撰写或审阅。它旨在支持文献发现，帮助读者评估相关性，并协助相邻研究领域的读者理解该工作。它旨在补充作者提供的摘要，后者仍然是论文的主要摘要。全文仍然是权威版本记录。点击此处了解更多。

点击 此处 对此摘要的准确性、清晰度和有用性发表评论。这样做将有助于改进和未来的重新生成版本。

要查看此 AI 生成的通俗摘要，您必须拥有高级访问权限。