2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
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…