The name discipline of uniform receptiveness
type: Item
instance of: scholarly article
title: The name discipline of uniform receptiveness
zbMATH Open document ID: 0930.68035
DOI: 10.1016/S0304-3975(99)00040-7
author: Davide Sangiorgi
published in: Theoretical Computer Science
publication date: 2000-01-12T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1387434
zbMATH Keywords: \(\pi\)-calculus
zbMATH Keywords: types
zbMATH Keywords: uniform receptiveness
describes a project that uses: Pict
MaRDI profile type: Publication
cites work: Q4370350
cites work: Linear logic
cites work: Constraining interference in an object-based design method
cites work: Q4223021
cites work: Implementation of sub-structuring within an object-oriented framework
cites work: Q4222771
cites work: Functions as processes
cites work: Q3929062
cites work: A calculus of mobile processes. II
cites work: Q3837262
cites work: Behavioral equivalence in the polymorphic pi-calculus
cites work: Asynchronous process calculi: The first- and higher-order paradigms
cites work: \(\pi\)-calculus, internal mobility, and agent-passing calculi
cites work: An interpretation of typed objects into typed \(\pi\)-calculus
cites work: Plain CHOCS. A second generation calculus for higher order processes
cites work: Objects in the \(\pi\)-calculus
description: scientific article; zbMATH DE number 1387434