3 citations · 9 across the 11 of their papers we have counts for
1 paper · 1 filter
Clément Aubert, Ioana Cristescu
History-and hereditary history-preserving bisimulation (HPB and HHPB) are equivalences relations for denotational models of concurrency. Finding their counterpart in process algebr…