Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
type: Item
instance of: scholarly article
title: Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
zbMATH Open document ID: 1046.68620
author: Atsushi Igarashi
author: Naoki Kobayashi
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 1853115
zbMATH Keywords: concurrent languages
zbMATH Keywords: compile-time optimizations
describes a project that uses: ABCL
MaRDI profile type: Publication
OpenAlex ID: W2050084141
cites work: Type inference with subtypes
cites work: An algorithm for analyzing communicating processes
cites work: Static and dynamic processor allocation for higher-order concurrent languages
cites work: Q3837262
cites work: A Machine-Oriented Logic Based on the Resolution Principle
DOI: 10.1006/INCO.2000.2872
description: scientific article; zbMATH DE number 1853115