A generic type system for higher-order Ψ-calculi
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
A generic type system for higher-order Ψ-calculi. / Hüttel, Hans; Lybech, Stian; Bendixen, Alex R.; Bojesen, Bjarke B.
In: Information and Computation, Vol. 300, 105190, 2024.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - JOUR
T1 - A generic type system for higher-order Ψ-calculi
AU - Hüttel, Hans
AU - Lybech, Stian
AU - Bendixen, Alex R.
AU - Bojesen, Bjarke B.
N1 - Publisher Copyright: © 2024 The Authors
PY - 2024
Y1 - 2024
N2 - The Higher-Order Ψ-calculus framework (HOΨ) by Parrow et al. is a generalisation of many first- and higher-order extensions of the π-calculus. In this paper we present a generic type system for HOΨ-calculi. It satisfies a subject reduction property and can be instantiated to yield both existing and new type systems for calculi, that can be expressed as HOΨ-calculi. In this paper, we consider the type system for termination in HOπ by Demangeon et al. Moreover, we derive a new type system for the ρ-calculus of Meredith and Radestock and present a type system for non-interference for mobile code.
AB - The Higher-Order Ψ-calculus framework (HOΨ) by Parrow et al. is a generalisation of many first- and higher-order extensions of the π-calculus. In this paper we present a generic type system for HOΨ-calculi. It satisfies a subject reduction property and can be instantiated to yield both existing and new type systems for calculi, that can be expressed as HOΨ-calculi. In this paper, we consider the type system for termination in HOπ by Demangeon et al. Moreover, we derive a new type system for the ρ-calculus of Meredith and Radestock and present a type system for non-interference for mobile code.
U2 - 10.1016/j.ic.2024.105190
DO - 10.1016/j.ic.2024.105190
M3 - Journal article
AN - SCOPUS:85199055500
VL - 300
JO - Information and Computation
JF - Information and Computation
SN - 0890-5401
M1 - 105190
ER -
ID: 399675978