Assigning types to processes

DOI10.1006/inco.2002.3113zbMath1009.68085OpenAlexW2053271394MaRDI QIDQ1854525

Nobuko Yoshida, Matthew C. B. Hennessy

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/990cc908c96784027194237449bb79922f4cf4c3

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items

Towards a behavioural theory of access and mobility control in distributed systems ⋮ Analysing input/output-capabilities of mobile processes with a generic type system ⋮ A categorical framework for typing CCS-style process communication ⋮ The seal calculus ⋮ Assigning types to processes ⋮ safeDpi: a language for controlling mobile code ⋮ Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness

Uses Software

• Facile
• KLAIM
• Voyager

Cites Work

• Region-based memory management
• A calculus of mobile processes. II
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• An extension of system \(F\) with subtyping
• Trust and partial typing in open systems of mobile agents
• Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
• Resource access control in systems of mobile agents
• Assigning types to processes
• A theory of bisimulation for a fragment of concurrent ML with local names
• Behavioral equivalence in the polymorphic pi-calculus
• A calculus of mobile agents
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item