A First-Order Syntax for the pi-Calculus in Isabelle/HOL using Permutations

Cached

Download Links

by Christine Röckl
Citations:2 - 0 self