Unprovability of the logical characterization of bisimulation

Real and Complex Analysis.

G. A. Garreau, Walter Rudin · Journal of the Royal Statistical Society Series D (The Statistician) · 1987 · 11K citations

Natural Sciences, Mathematics, Probability Theory +16

Universal coalgebra: a theory of systems

J.J.M.M. Rutten · Theoretical Computer Science · 2000 · 1.2K citations

Computing, Computer Science, Algebra +9

Real and complex analysis

1974 · 318 citations

Natural Sciences, Systems Engineering, Systems Analysis +4

Bisimulation for Labelled Markov Processes

Information and Computation · 2002 · 307 citations

Natural Sciences, Computer Science, Mathematics +13

Bisimulation and cocongruence for probabilistic systems

Vincent Danos, Josée Desharnais, François Laviolette et al. · Information and Computation · 2006 · 85 citations

Engineering, Computer Science, Mathematics +10