Xian Xu On Bisimulation Theory in Linear Higher-Order <i>pi</i>-Calculus. 244-274 2009 3 T. Petri Nets and Other Models of Concurrency http://dx.doi.org/10.1007/978-3-642-04856-2_10 journals/topnoc/2009-3 db/journals/topnoc/topnoc3.html#Xu09