互动和观察，绝对
Interaction and observation, categorically
摘要：
本文提出用双代数自然地描述交互系统的语义。对偶代数是余代数的保守扩张。在这个范畴模型中，从我们提供的观点来看，观察和相互作用的概念是独立的特征。这是有用的，例如，在规范的过程等价，这是获得核的同态的双代数。作为一个例子，我们提出的异步语义的CCS。
英文摘要：
This paper proposes to use dialgebras to specify the semantics of interactive systems in a natural way. Dialgebras are a conservative extension of coalgebras. In this categorical model, from the point of view that we provide, the notions of observation and interaction are separate features. This is useful, for example, in the specification of process equivalences, which are obtained as kernels of the homomorphisms of dialgebras. As an example we present the asynchronous semantics of the CCS.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
