A complete symbolic bisimulation for full applied pi calculus
scientific article; zbMATH DE number 6103615
scientific article