Search the dblp DataBase

Publications of Author

1. Zining Cao
   A Uniform Reduction Equivalence for Process Calculi. [Citation Graph (0, 0)][DBLP]
   APLAS, 2004, pp:179-195 [Conf]
   
2. Zining Cao
   Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
   CLIMA VII, 2006, pp:134-150 [Conf]
   
3. Zining Cao
   A Complete Probabilistic Belief Logic. [Citation Graph (0, 0)][DBLP]
   CLIMA VII, 2006, pp:80-94 [Conf]
   
4. Zining Cao
   More on Bisimulations for Higher Order pi-Calculus. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2006, pp:63-78 [Conf]
   
5. Zining Cao
   Verifying Real-Time Temporal, Cooperation and Epistemic Properties for Uncertain Agents. [Citation Graph (0, 0)][DBLP]
   MICAI, 2006, pp:1095-1104 [Conf]
   
6. Zining Cao
   Model Checking for Epistemic and Temporal Properties of Uncertain Agents. [Citation Graph (0, 0)][DBLP]
   PRIMA, 2006, pp:46-58 [Conf]
   
7. Zining Cao, Chunyi Shi
   Probabilistic Belief Logic and Its Probabilistic Aumann Semantics. [Citation Graph (0, 0)][DBLP]
   J. Comput. Sci. Technol., 2003, v:18, n:5, pp:571-579 [Journal]
   
8. Zining Cao
   Towards an Epistemic Logic for Uncertain Agents. [Citation Graph (0, 0)][DBLP]
   CEEMAS, 2007, pp:266-276 [Conf]
   
9. Zining Cao
   Bisimulations for a Distributed Higher Order pi -Calculus. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2007, pp:94-108 [Conf]
   
10. 
    A Spatial Logical Characterisation of Context Bisimulation. [Citation Graph (, )][DBLP]
    
    
11. 
    Modeling Cost-Aware Web Services Composition Using PTCCS. [Citation Graph (, )][DBLP]
    
    
12. 
    Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties. [Citation Graph (, )][DBLP]
    
    
13. 
    A True Concurrent Process Calculus and Its Conflict Bisimulation. [Citation Graph (, )][DBLP]
    
    
14. 
    A Logic for Distributed Higher Order pi-Calculus. [Citation Graph (, )][DBLP]
    
    
15. 
    Equivalence Checking for a Finite Higher Order pi-Calculus. [Citation Graph (, )][DBLP]
    
    
16. 
    Counterexample Generation for Probabilistic Timed Automata Model Checking. [Citation Graph (, )][DBLP]
    
    
17. 
    Distributed Viewpoint Equivalences for Higher Order Processes. [Citation Graph (, )][DBLP]