Talk:Bisimulation

From Wikipedia, the free encyclopedia

I think the definition is buggy. Bisimulation need not be an autorelation of the form (i.e. R ⊆ S × S). In fact it makes more sense to talk about bisimilarity R between two different labeled transition systems (P, A, ->) and (Q, B, ->) such that \forall (p,a,p') \in P \exists (q,b,q') \in Q such that pRq and p'Rq'. 164.164.104.166 13:18, 10 September 2007 (UTC)

The definition is buggy - probably someone deleted the second part of definition. 132.230.166.199 17:47, 30 November 2006 (UTC)