Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets

Marco Bernardo, Andrea Esposito, Claudio A. Mezzina

We devise two complementary characterizations of hereditary history-preserving bisimilarity (HHPB): a denotational one, based on stable configuration structures, and an operational…