Showing 1–1 of 1 results for author: Hüchting, R

A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

Authors: Victor Khomenko, Roland Meyer, Reiner Hüchting

Abstract: 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 that there is a close correspondence between the control flows, enjoys a bisimulation result, and is suitable for practical model checking. 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 that there is a close correspondence between the control flows, enjoys a bisimulation result, and is suitable for practical model checking. △ Less

Submitted 16 September, 2013; v1 submitted 3 September, 2013; originally announced September 2013.

Comments: To appear in special issue on best papers of CONCUR'12 of Logical Methods in Computer Science

Journal ref: Logical Methods in Computer Science, Volume 9, Issue 3 (September 17, 2013) lmcs:932