4 citations · 4 across the 1 of their papers we have counts for
1 paper
Victor Khomenko, Roland Meyer, Reiner Hüchting
We develop a polynomial translation from finite control pi-calculus processes to safe low-level Petri nets. To our knowledge, this is the first such translation. It is natural in t…