A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets. - Roland Meyer 001; Victor Khomenko; Reiner Hüchting (CONCUR, 2012)

A Theory of Name Boundedness. - Reiner Hüchting; Rupak Majumdar; Roland Meyer 001 (CONCUR, 2013)

A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets. - Victor Khomenko; Roland Meyer 001; Reiner Hüchting (Log. Methods Comput. Sci., 2013)

Bounds on Mobility. - Reiner Hüchting; Rupak Majumdar; Roland Meyer 001 (CONCUR, 2014)