Results 1 
5 of
5
A Syntactical Approach to Weak (Bi)Simulation for Coalgebras
, 2002
"... In [19] Rutten introduced the notion of weak bisimulations and weak bisimilarity for coalgebras of the functor F (X) = X+O. In the present paper I will introduce a notion of weak bisimulation for coalgebras based on the syntax of their functors for a large class of functors. I will show that my defi ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
In [19] Rutten introduced the notion of weak bisimulations and weak bisimilarity for coalgebras of the functor F (X) = X+O. In the present paper I will introduce a notion of weak bisimulation for coalgebras based on the syntax of their functors for a large class of functors. I will show that my definition does not only coincide with the definition from [19], but with the definition for labelled transition systems as well. The approach includes a definition of weak bisimulation for Kripke structures, which might be of interest in its own right.
Weak Bisimulation for ActionType Coalgebras
"... A coalgebraic definition of weak bisimulation is proposed for a class of coalgebras obtained from bifunctors in 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 beh ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
A coalgebraic definition of weak bisimulation is proposed for a class of coalgebras obtained from bifunctors in 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.
A Companion to Coalgebraic Weak Bisimulation for ActionType Systems ∗
"... We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bifunctors in the category Set. Weak bisimilarity for a system is obtained as strong bisimilarity of a transformed system. The particular transformation consists of two steps: First, the behavior on acti ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bifunctors in the category Set. Weak bisimilarity for a system is obtained as strong bisimilarity of a transformed system. The particular transformation consists of two steps: First, the behavior on actions is lifted to behavior on finite words. Second, the behavior on finite words is taken modulo the hiding of internal or invisible actions, yielding behavior on equivalence classes of words closed under silent steps. The coalgebraic definition is validated by two correspondence results: one for the classical notion of weak bisimulation of Milner, another for the notion of weak bisimulation for generative probabilistic transition systems as advocated by Baier and Hermanns. 1