Hereditary History-Preserving Bisimilarity: Logics and Automata.

Paolo Baldan, Silvia Crafa

Browse the full APLAS paper archive.