Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets.

Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina

Browse the full FOSSACS paper archive.