Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract)

详细信息    查看全文

• 作者：Ana Sokolova ; Erik de Vink ; Harald Woracek
• 关键词：coalgebra ; bisimulation ; weak bisimulation ; labeled transition system ; generative probabilistic transition system
• 刊名：Electronic Notes in Theoretical Computer Science
• 出版年：2005
• 出版时间：7 March 2005
• 年：2005
• 卷：122
• 期：Complete
• 页码：211-228
• 全文大小：341 K

文摘

We propose a coalgebraic definition of weak bisimulation for a class of coalgebras obtained from bifunctors over the category Set. Weak bisimilarity for a system is obtained as strong bisimilarity of a transformed system. The transformation consists of two steps: First, the behaviour on actions is expanded to behaviour on finite words. Second, the behaviour on finite words is taken modulo the hiding of invisible actions, yielding behaviour on equivalence classes of words closed under silent steps. The coalgebraic definition is justified by two correspondence results, one for the classical notion of weak bisimulation of Milner and another for the notion of weak bisimulation for generative probabilistic transition systems as advocated by Baier and Hermanns.