Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus.
type: Item
instance of: scholarly article
title: Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus.
zbMATH Open document ID: 1045.68098
DOI: 10.1016/S0890-5401(02)00014-7
author: Huimin Lin
published in: Information and Computation
publication date: 2003-08-13T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1963846
zbMATH Keywords: Mobile processes
zbMATH Keywords: \(\pi\)-calculus
zbMATH Keywords: Bisimulation
zbMATH Keywords: Symbolic bisimulation
zbMATH Keywords: Proof systems
zbMATH Keywords: Process algebra
MaRDI profile type: Publication
cites work: Testing equivalence for mobile processes
cites work: A symbolic semantics for the \(\pi\)-calculus
cites work: Symbolic bisimulations
cites work: Proof systems for message-passing process algebras
cites work: Q3992568
cites work: A calculus of mobile processes. II
cites work: Modal logics for mobile processes
cites work: Algebraic theories for name-passing calculi
cites work: A theory of bisimulation for the \(\pi\)-calculus
full work available at URL: s0890-5401(02)00014-7
OpenAlex ID: W2043338352
description: scientific article; zbMATH DE number 1963846