Search the dblp DataBase

Publications of Author

1. Xiaowei Huang, Li Jiao, Weiming Lu
   What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security. [Citation Graph (0, 0)][DBLP]
   ICICS, 2007, pp:334-349 [Conf]
   
2. 
   Improved bounded model checking for a fair branching-time temporal epistemic logic. [Citation Graph (, )][DBLP]
   
   
3. 
   Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic. [Citation Graph (, )][DBLP]
   
   
4. 
   Weak Parametric Failure Equivalences and Their Congruence Formats. [Citation Graph (, )][DBLP]
   
   
5. 
   The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. [Citation Graph (, )][DBLP]
   
   
6. 
   A Semantic Preorder Combining ST Notion and Fair Testing Semantic. [Citation Graph (, )][DBLP]
   
   
7. 
   A Modular Petri Net Used in Synchronous Communication of Sequential Processes. [Citation Graph (, )][DBLP]
   
   
8. 
   Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence. [Citation Graph (, )][DBLP]