2 citations · 2 across the 1 of their papers we have counts for
1 paper
Alwen Tiu, Dale Miller
We specify the operational semantics and bisimulation relations for the finite pi-calculus within a logic that contains the nabla quantifier for encoding generic judgments and defi…