DMCA

Symbolic bisimulation for the applied pi-calculus (2007)

by Stéphanie Delaune , Steve Kremer , Mark D. Ryan
Venue:In Proc. 27th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS’07), volume 4855 of Lecture Notes in Computer Science
Citations:26 - 8 self