Tau laws for pi calculus
type: Item
instance of: scholarly article
title: Tau laws for pi calculus
zbMATH Open document ID: 1071.68075
DOI: 10.1016/S0304-3975(03)00202-0
author: Yuxi Fu
author: Zhen-rong Yang
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2110975
zbMATH Keywords: Process algebra
zbMATH Keywords: Mobile process
zbMATH Keywords: Bisimulation
zbMATH Keywords: Axiomatization
MaRDI profile type: Publication
cites work: On bisimulations for the asynchronous \(\pi\)-calculus
cites work: On the expressiveness of internal mobility in name-passing calculi
cites work: Testing equivalence for mobile processes
cites work: A symbolic semantics for the \(\pi\)-calculus
cites work: Some congruence properties for \(\pi\)-calculus bisimilarities
cites work: Mobile ambients
cites work: Testing equivalences for processes
cites work: A proof theoretical approach to communication
cites work: Reaction graph
cites work: Advances in computing science -- ASIAN '98. 4th Asian computing science conference, Manila, the Philippines, December 8--10, 1998. Proceedings
cites work: Variations on mobile processes
cites work: Q4270066
cites work: Testing congruence for mobile processes
cites work: A schematic axiom for open congruence
cites work: Q4536631
cites work: Q4472461
cites work: Symbolic bisimulations
cites work: Algebraic laws for nondeterminism and concurrency
cites work: On reduction-based process semantics
cites work: Q4219039
cites work: Q4219055
cites work: A complete inference system for a class of regular behaviours
cites work: A complete axiomatisation for observational congruence of finite-state behaviours
cites work: Q3992568
cites work: A calculus of mobile processes. I
cites work: Algebraic theories for name-passing calculi
cites work: \(\pi\)-calculus, internal mobility, and agent-passing calculi
cites work: A theory of bisimulation for the \(\pi\)-calculus
cites work: Q4791841
cites work: Plain CHOCS. A second generation calculus for higher order processes
cites work: A theory of higher order communicating systems
description: scientific article; zbMATH DE number 2110975