A shorter proof to uniqueness of solutions of equations
type: Item
instance of: scholarly article
title: A shorter proof to uniqueness of solutions of equations
zbMATH Open document ID: 0913.68218
DOI: 10.1016/S0304-3975(98)00187-X
published in: Theoretical Computer Science
publication date: 1999-04-28T00:00:00Z
Mathematics Subject Classification ID: 68U20
zbMATH DE Number: 1281134
zbMATH Keywords: process calculus
zbMATH Keywords: observation congruence
zbMATH Keywords: bisimulation up to bisimilarity
zbMATH Keywords: solutions of equations
author: Mingsheng Ying
MaRDI profile type: Publication
cites work: Q3992568
cites work: A calculus of communicating systems
description: scientific article; zbMATH DE number 1281134