Weak Bisimilarity Coalgebraically Andrei Popescu Department of Computer Science University of Illinois Context and motivation Process algebra: SOS presentations: one-step…