by
Davide Sangiorgi

Citations: | 6 - 0 self |

@MISC{Sangiorgi_fromπ-calculus,

author = {Davide Sangiorgi},

title = {From π-calculus to Higher-Order π-calculus -- and back},

year = {}

}

We compare the first-order and the higher-order paradigms for the representation of mobility in process algebras. The prototypical calculus in the first-order paradigm is the π-calculus. By generalising its sort mechanism we derive an !-order extension, called Higher-Order π-calculus (HOπ). We give examples of its use, including the encoding of -calculus. Surprisingly, we show that such an extension does not add expressiveness: Higher-order processes can be faithfully represented at first order. We conclude that the first-order paradigm, which enjoys a simpler and more intuitive theory, should be taken as basic. Nevertheless, the study of the -calculus encodings shows that a higher-order calculus can be very useful for reasoning at a more abstract level.

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2013 The Pennsylvania State University