A generic type system for the pi-calculus
type: Item
instance of: scholarly article
title: A generic type system for the pi-calculus
zbMATH Open document ID: 1070.68105
DOI: 10.1016/S0304-3975(03)00325-6
author: Atsushi Igarashi
author: Naoki Kobayashi
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2111020
zbMATH Keywords: deadlock-freedom
zbMATH Keywords: race-freedom
describes a project that uses: MIXED
describes a project that uses: PIPER
MaRDI profile type: Publication
cites work: Anytime, anywhere
cites work: Types as models
cites work: Q2763675
cites work: Typing correspondence assertions for communication protocols
cites work: Q2754161
cites work: Q4518881
cites work: A uniform type structure for secure information flow
cites work: Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
cites work: Resource usage analysis
cites work: A type system for lock-free processes
cites work: Q4536623
cites work: Q4270069
cites work: Q2754160
cites work: Q3992568
cites work: Calculi for interaction
cites work: Q3837262
cites work: Behavioral equivalence in the polymorphic pi-calculus
cites work: Q4536621
cites work: Q4223021
cites work: Polymorphic type, region and effect inference
cites work: The type and effect discipline
cites work: Q2778815
full work available at URL: s0304-3975(03)00325-6
OpenAlex ID: W1972836343
description: scientific article; zbMATH DE number 2111020