2014 (English)In: Mathematical Structures in Computer Science, ISSN 0960-1295, E-ISSN 1469-8072, Vol. 24, no 2, e240203Article in journal (Refereed) Published
Psi-calculi is a parametric framework for extensions of the pi-calculus; in earlier work we have explored their expressiveness and algebraic theory. In this paper we consider higher-order psi-calculi through a technically surprisingly simple extension of the framework, and show how an arbitrary psi-calculus can be lifted to its higher-order counterpart in a canonical way. We illustrate this with examples and establish an algebraic theory of higher-order psi-calculi. The formal results are obtained by extending our proof repositories in Isabelle/Nominal.
Place, publisher, year, edition, pages
Cambridge University Press, 2014. Vol. 24, no 2, e240203
process calculi, psi calculi, isabelle, theorem proving, nominal, higher-order
IdentifiersURN: urn:nbn:se:uu:diva-183610DOI: 10.1017/S0960129513000170ISI: 000343643500003OAI: oai:DiVA.org:uu-183610DiVA: diva2:563530
FunderSwedish Foundation for Strategic Research