A calculus of mobile processes. I
type: Item
instance of: scholarly article
title: A calculus of mobile processes. I
zbMATH Open document ID: 0752.68036
DOI: 10.1016/0890-5401(92)90008-4
author: S. Singh
published in: Information and Computation
publication date: 1993-01-16T00:00:00Z
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 89990
zbMATH Keywords: calculus of communicating systems
zbMATH Keywords: processes
zbMATH Keywords: process algebra
zbMATH Keywords: mobility
zbMATH Keywords: strong bisimilarity
zbMATH Keywords: strong equivalence
zbMATH Keywords: distinctions
zbMATH Keywords: labeled transition system
Wikidata QID: Q56019902
MaRDI profile type: Publication
full work available at URL: 0890-5401(92)90008-4
OpenAlex ID: W2128932399
cites work: Full abstraction in the lazy lambda calculus
cites work: Parametric channels via label expressions in CCS
cites work: Algebra of communicating processes with abstraction
cites work: Q3777424
cites work: Q3992568
cites work: Q4038690
cites work: A calculus of mobile processes. II
cites work: Q3670575
cites work: A fully abstract denotational semantics for the calculus of higher-order communicating systems
description: scientific article; zbMATH DE number 89990