Assigning types to processes
type: Item
instance of: scholarly article
title: Assigning types to processes
zbMATH Open document ID: 1009.68085
author: Nobuko Yoshida
author: Matthew Hennessy
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68M14
zbMATH DE Number: 1853255
describes a project that uses: Facile
describes a project that uses: Voyager
describes a project that uses: KLAIM
MaRDI profile type: Publication
OpenAlex ID: W2053271394
cites work: An extension of system \(F\) with subtyping
cites work: Q3994895
cites work: A calculus of mobile agents
cites work: Q4038734
cites work: Q4288818
cites work: Resource access control in systems of mobile agents
cites work: Q2754161
cites work: Q4518881
cites work: Q4268454
cites work: Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
cites work: A theory of bisimulation for a fragment of concurrent ML with local names
cites work: A calculus of mobile processes. II
cites work: Q3837262
cites work: Behavioral equivalence in the polymorphic pi-calculus
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: Trust and partial typing in open systems of mobile agents
cites work: Q4219047
cites work: Region-based memory management
cites work: Q4223019
cites work: Q4270081
DOI: 10.1006/INCO.2002.3113
description: scientific article; zbMATH DE number 1853255