2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Sergey Goncharov, Dirk Pattinson
Strong bisimulation for labelled transition systems is one of the most fundamental equivalences in process algebra, and has been generalised to numerous classes of systems that exh…