On the space cost curve and industrial location: Comment

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