A shorter proof to uniqueness of solutions of equations

DOI10.1016/S0304-3975(98)00187-XzbMath0913.68218MaRDI QIDQ1285667

Ming Sheng Ying

Publication date: 28 April 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

process calculussolutions of equationsbisimulation up to bisimilarityobservation congruence

Mathematics Subject Classification ID

Related Items (3)

An algebra of behavioural types ⋮ Recursive equations in higher-order process calculi ⋮ Bisimulation indexes and their applications

Cites Work

• A calculus of communicating systems
• Unnamed Item

This page was built for publication: A shorter proof to uniqueness of solutions of equations