Channel dependent types for higher-order mobile processes

DOI10.1145/964001.964014zbMath1325.68162OpenAlexW2014412015MaRDI QIDQ3452258

Nobuko Yoshida

Publication date: 11 November 2015

Published in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/964001.964014

zbMATH Keywords

typesmobile processesaccess controlsecrecyhigher-order \(\pi\)-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

A metamodel of access control for distributed environments: applications and properties ⋮ Formalising Java RMI with explicit code mobility ⋮ Mobility control via passports ⋮ Session-Based Communication Optimisation for Higher-Order Mobile Processes ⋮ safeDpi: a language for controlling mobile code