Author:
Zhang Yan,Zhu Zhaohui,Zhang Jinjin
Funder
National Natural Science Foundation of China
Natural Science Research of Jiangsu Higher Education Institutions of China
Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. Graphical representation of covariant-contravariant modal formulae;Aceto,2011
2. Structural operational semantics;Aceto,2001
3. Characteristic formulae for fixed-point semantics: a general framework;Aceto;Math. Struct. Comput. Sci.,2012
4. A ground-complete axiomatisation of finite-state processes in a generic process algebra;Baeten;Math. Struct. Comput. Sci.,2008
5. Principle of Model Checking;Baier,2008