Searching for "Symbolic Bisimulation for the Applied Pi Calculus." – sorted by Relevance.
-
Symbolic bisimulation for the applied pi-calculus
- Symbolic Bisimulation for the Applied Pi Calculus ∗ Stéphanie Delaune 1 Steve Kremer 1 Mark D
- Cited by 1 (1 self) – Add To MetaCart

