Computational and Information Science

DOI10.1007/B104566zbMATH Open1117.68450OpenAlexW2889643187MaRDI QIDQ5491619

Farong Zhong

Publication date: 10 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b104566

Mathematics Subject Classification ID

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

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Asymmetric norms, cones and partial orders 👍 👎
• On nonsymmetric theorems for \((H, G)\)-coincidences 👍 👎
• Some congruence properties for \(\pi\)-calculus bisimilarities 👍 👎
• Asymmetric generalizations of Schur's theorem 👍 👎
• Arithmetical proofs of strong normalization results for symmetric lambda calculi 👍 👎
• Typed Lambda Calculi and Applications 👍 👎
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 👍 👎
• Asymmetric Rogers–Ramanujan type identities. I. The Andrews–Uncu conjecture 👍 👎

This page was built for publication: Computational and Information Science