External equality and absolute equality coincide in finite CCS and calculus without summation

DOI10.1007/S12204-011-1183-7zbMATH Open1294.68113OpenAlexW2345604195MaRDI QIDQ407482FDOQ407482

Authors: 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

Recommendations

• Equivalence Checking for a Finite Higher Order π-Calculus
• Completeness of a cut-free calculus with equality and function constants
• scientific article; zbMATH DE number 4109274
• Contextual equivalence for higher-order \(\pi\)-calculus revisited
• Some congruence properties for \(\pi\)-calculus bisimilarities
• A note on equality in finite‐type arithmetic
• Equality and fixpoints in the calculus of structures
• Extensional set equality in the calculus of constructions
• On \(c\)-equivalence
• scientific article; zbMATH DE number 2185678

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q407482)