4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
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…