传记式精炼
Bigraphical Refinement
摘要：
我们提出了一种机制，用于双图反应系统的垂直细化，基于一种机制，用于限制观察和利用基本的范畴结构的双图。我们提出了一个激励的例子来证明，所提出的概念的细化是明智的双图反应系统的理论，我们提出了一个充分条件，保证存在一个安全的垂直细化。我们假设存在一个免费的概念bigraphical代理的水平细化，最后我们讨论了这项工作的连接到一般的Reeves和Streader细化。
英文摘要：
We propose a mechanism for the vertical refinement of bigraphical reactive systems, based upon a mechanism for limiting observations and utilising the underlying categorical structure of bigraphs. We present a motivating example to demonstrate that the proposed notion of refinement is sensible with respect to the theory of bigraphical reactive systems; and we propose a sufficient condition for guaranteeing the existence of a safety-preserving vertical refinement. We postulate the existence of a complimentary notion of horizontal refinement for bigraphical agents, and finally we discuss the connection of this work to the general refinement of Reeves and Streader.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
