Author:
Zhang Yan,Zhu Zhaohui,Zhang Jinjin,Zhou Yong
Funder
National Natural Science Foundation of China
Fok Ying-Tung Education Foundation
Subject
Applied Mathematics,Logic
Reference26 articles.
1. Axiomatizing weak simulation semantics over BCCSP;Aceto;Theor. Comput. Sci.,2014
2. A ground-complete axiomatisation of finite-state processes in a generic process algebra;Baeten;Math. Struct. Comput. Sci.,2008
3. Lattice Theory;Birkhoff,1948
4. Ready simulation, bisimulation, and the semantics of the CCS-like languages;Bloom,1994
5. Bisimulation can't be traced;Bloom;J. ACM,1995
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Encoding safety in CLL;Theoretical Computer Science;2022-01