7 citations · 13 across the 4 of their papers we have counts for
1 paper · 1 filter
Alwen Tiu
A notion of open bisimulation is formulated for the spi calculus, an extension of the pi-calculus with cryptographic primitives. In this formulation, open bisimulation is indexed b…