8 citations · 54 across the 14 of their papers we have counts for
1 paper · 1 filter
Ross Horne
This paper is the first thorough investigation into the coarsest notion of bisimilarity for the applied pi-calculus that is a congruence relation: open barbed bisimilarity. An open…