A generic type system for higher-order Ψ-calculi

被引：0

作者：

Huttel, Hans ^{[1
]}

Lybech, Stian ^{[2
]}

Bendixen, Alex R. ^{[3
]}

Bojesen, Bjarke B. ^{[3
]}

机构：

[1] Univ Copenhagen, Dept Comp Sci, Univ Pk 1, DK-2100 Copenhagen, Denmark

[2] Reykjavik Univ, Dept Comp Sci, Menntavegur 1, IS-102 Reykjavik, Iceland

[3] Aalborg Univ, Dept Comp Sci, Selma Lagerlofs Vej 300, DK-9220 Aalborg, Denmark

来源：

INFORMATION AND COMPUTATION | 2024年 / 300卷

关键词：

MOBILE PROCESSES;

D O I：

10.1016/j.ic.2024.105190

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The Higher-Order Psi-calculus framework (HO Psi) by Parrow et al. is a generalisation of many first- and higher-order extensions of the pi-calculus. In this paper we present a generic type system for HO Psi-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 Psi-calculi. In this paper, we consider the type system for termination in HO pi by Demangeon et al. Moreover, we derive a new type system for the rho-calculus of Meredith and Radestock and present a type system for non-interference for mobile code. (c) 2024 The Authors. Published by Elsevier Inc. This is an open access article under the CC BY license (http://creativecommons .org /licenses /by /4 .0/).

引用

页数：26

共 50 条

[1] A Generic Type System for Higher-Order ?-calculi
Bendixen, Alex Ronning
Bojesen, Bjarke Bredow
Huttel, Hans
Lybech, Stian
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (368): : 43 - 59
[2] On generic context lemmas for higher-order calculi with sharing
Schmidt-Schauss, Manfred
Sabel, David
THEORETICAL COMPUTER SCIENCE, 2010, 411 (11-13) : 1521 - 1541
[3] Termination in higher-order concurrent calculi
Demangeon, Romain
Hirschkoff, Daniel
Sangiorgi, Davide
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (07): : 550 - 577
[4] BISIMULATION IN HIGHER-ORDER PROCESS CALCULI
SANGIORGI, D
PROGRAMMING CONCEPTS, METHODS AND CALCULI, 1994, 56 : 207 - 224
[5] Termination in Higher-Order Concurrent Calculi
Demangeon, Romain
Hirschkoff, Daniel
Sangiorgi, Davide
FUNDAMENTALS OF SOFTWARE ENGINEERING, 2010, 5961 : 81 - +
[6] Bisimulation for higher-order process calculi
Sangiorgi, D
INFORMATION AND COMPUTATION, 1996, 131 (02) : 141 - 178
[7] Higher-order psi-calculi
Parrow, Joachim
Borgstrom, Johannes
Raabjerg, Palle
Pohjola, Johannes Aman
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2014, 24 (02)
[8] A type system for higher-order modules
Dreyer, D
Crary, K
Harper, R
ACM SIGPLAN NOTICES, 2003, 38 (01) : 236 - 249
[9] Recursive equations in higher-order process calculi
Ying, MS
Wirsing, M
THEORETICAL COMPUTER SCIENCE, 2001, 266 (1-2) : 839 - 852
[10] Normalisation for higher-order calculi with explicit substitutions
Bonelli, E
THEORETICAL COMPUTER SCIENCE, 2005, 333 (1-2) : 91 - 125

← 1 2 3 4 5 →