Names of the \(\pi\)-calculus agents handled locally
type: Item
instance of: scholarly article
title: Names of the \(\pi\)-calculus agents handled locally
zbMATH Open document ID: 0956.68007
DOI: 10.1016/S0304-3975(00)00093-1
published in: Theoretical Computer Science
publication date: 2000-12-12T00:00:00Z
Mathematics Subject Classification ID: 68M14
zbMATH DE Number: 1542389
zbMATH Keywords: concurrency
zbMATH Keywords: mobility
zbMATH Keywords: agents
zbMATH Keywords: distributed environments
author: Chiara Bodei
author: Pierpaolo Degano
author: Corrado Priami
MaRDI profile type: Publication
cites work: On modelling mobility
cites work: A fully abstract semantics for causality in the \(\pi\)-calculus
cites work: Observing localities
cites work: Mobile ambients
cites work: Proved trees
cites work: Causality for mobile processes
cites work: Q4038734
cites work: Q5639839
cites work: A calculus of mobile processes. II
cites work: Modal logics for mobile processes
cites work: An algebraic verification of a mobile network
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 1542389