Paper Info
Title
On Boundedness in Depth in the pi-Calculus
Abstract
We investigate the Class P-BD of pi-Calculus processes that are bounded ill the function depth. First, we show that boundedness ill depth has all intuitive characterisation when we understand processes as graphs: a process is bounded in depth if and only if the length of the simple paths is bounded. The proof is based oil a new normal form for the pi-Calculus called anchored fragments. Using this concept, we then show that processes of bounded depth have well-structural transition systems (WSTS). As a consequence, the termination problem is decidable for this class of processes. The instantiation of the WSTS framework employs a new well-quasi-ordering for processes ill P-BD.
Year
DOI
Venue
2008
10.1007/978-0-387-09680-3_32
International Federation for Information Processing
DocType
Volume
ISSN
Conference
273
1571-5736
Citations 
PageRank 
References 
3
0.39
12
Authors
1
Name
Order
Citations
PageRank
Roland Meyer120315.99