External equality and absolute equality coincide in finite CCS and \(\pi\) calculus without summation

DOI10.1007/S12204-011-1183-7zbMath1294.68113OpenAlexW2345604195MaRDI QIDQ407482

Yun Jin

Publication date: 2 September 2014

Published in: Journal of Shanghai Jiaotong University (Science) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s12204-011-1183-7

zbMATH Keywords

coincidence\(\pi\) calculusabsolute equalityCCS calculusexternal equality

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• A calculus of mobile processes. II
• Branching time and abstraction in bisimulation semantics

This page was built for publication: External equality and absolute equality coincide in finite CCS and \(\pi\) calculus without summation