抽象的命令进程代数
Imperative process algebra with abstraction
摘要：
介绍了一种基于ACP（Algebra of Communicating Processes）的命令式进程代数.像其他命令式进程代数一样，这个进程代数处理由命令式程序的执行引起的进程。它与已经存在的命令式进程代数的区别之一是支持抽象那些被认为不可见的动作。这种抽象的支持打开了进程代数有趣的应用可能性。本文简要地探讨了与机密数据泄漏有关的信息流安全分析的可能性。对于所提出的公理化，健全性和半完全性结果相对于一个概念的分支互模拟等价。
英文摘要：
This paper introduces an imperative process algebra based on ACP (Algebra of Communicating Processes). Like other imperative process algebras, this process algebra deals with processes of the kind that arises from the execution of imperative programs. It distinguishes itself from already existing imperative process algebras among other things by supporting abstraction from actions that are considered not to be visible. The support of abstraction of this kind opens interesting application possibilities of the process algebra. This paper goes briefly into the possibility of information-flow security analysis of the kind that is concerned with the leakage of confidential data. For the presented axiomatization, soundness and semi-completeness results with respect to a notion of branching bisimulation equivalence are established.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
