"On Context Bisimulation for Parameterized Higher-order Processes."

Xian Xu (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics