4 citations · 10 across the 6 of their papers we have counts for
1 paper · 2 filters
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…