Testing congruence for mobile processes
type: Item
instance of: scholarly article
title: Testing congruence for mobile processes
zbMATH Open document ID: 1004.68118
DOI: 10.1007/BF02949827
author: Yuxi Fu
published in: Journal of Computer Science and Technology
publication date: 2003-02-02T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1750654
zbMATH Keywords: process calculus
zbMATH Keywords: \(\pi\) processes
MaRDI profile type: Publication
cites work: Testing equivalence for mobile processes
cites work: Testing equivalences for processes
cites work: Q4369920
cites work: Variations on mobile processes
cites work: Q4270066
cites work: Q4536631
cites work: Q4472461
cites work: Q3997501
cites work: Symbolic bisimulations
cites work: A calculus of mobile processes. I
cites work: Algebraic theories for name-passing calculi
full work available at URL: https://doi.org/10.1007/bf02949827
OpenAlex ID: W1486166401
description: scientific article; zbMATH DE number 1750654