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

Hüttel, H, Lybech, S, Bendixen, AR & Bojesen, BB 2024, 'A generic type system for higher-order Ψ-calculi', Information and Computation, vol. 300, 105190. https://doi.org/10.1016/j.ic.2024.105190

APA

Hüttel, H., Lybech, S., Bendixen, A. R., & Bojesen, B. B. (2024). A generic type system for higher-order Ψ-calculi. Information and Computation, 300, [105190]. https://doi.org/10.1016/j.ic.2024.105190

Vancouver

Hüttel H, Lybech S, Bendixen AR, Bojesen BB. A generic type system for higher-order Ψ-calculi. Information and Computation. 2024;300. 105190. https://doi.org/10.1016/j.ic.2024.105190

Author

Hüttel, Hans ; Lybech, Stian ; Bendixen, Alex R. ; Bojesen, Bjarke B. / A generic type system for higher-order Ψ-calculi. In: Information and Computation. 2024 ; Vol. 300.

Bibtex

@article{9a73e3a464804de3bbe0ffe1835a2fc8,
title = "A generic type system for higher-order Ψ-calculi",
abstract = "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.",
author = "Hans H{\"u}ttel and Stian Lybech and Bendixen, {Alex R.} and Bojesen, {Bjarke B.}",
note = "Publisher Copyright: {\textcopyright} 2024 The Authors",
year = "2024",
doi = "10.1016/j.ic.2024.105190",
language = "English",
volume = "300",
journal = "Information and Computation",
issn = "0890-5401",
publisher = "Academic Press",

}

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