 | 2011 |
|---|
| 25 |       | Zining Cao,
Hui Wang:
Hybrid ZIA and its Approximated Refinement Relation.
ENASE 2011: 260-265 |
| 24 |  | Zining Cao,
Hui Wang:
Extending Interface Automata with Z Notation.
FSEN 2011: 359-367 |
| 23 | | Fangxiong Xiao,
Zhiqiu Huang,
Zining Cao,
Jun Hu,
LinYuan Liu,
Min Yuan:
Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS 1.
Int. J. Web Service Res. 8(4): 47-80 (2011) |
| 2010 |
|---|
| 22 | | Yi Zhu,
Zhiqiu Huang,
Zining Cao,
Hang Zhou,
Min Yuan:
An MDE Based Approach for Generating Software Architecture Models from Formal Specifications.
QSIC 2010: 373-376 |
| 21 | | Zining Cao:
Refinement Checking for Interface Automata with Z Notation.
SEKE 2010: 399-404 |
| 20 | | Zining Cao:
Model Checking LOOP Programs.
Software Engineering Research and Practice 2010: 534-542 |
| 19 | | Zining Cao:
Bisimulations for Open Processes in Higher Order p-Calculus.
TASE 2010: 135-144 |
| 18 | | Zining Cao:
Reducing Higher Order Pi-Calculus to Spatial Logics
CoRR abs/1011.2896: (2010) |
| 2009 |
|---|
| 17 | | Zining Cao:
Distributed Viewpoint Equivalences for Higher Order Processes.
CSIE (7) 2009: 792-796 |
| 16 | | Fangxiong Xiao,
Zhiqiu Huang,
Zining Cao,
Jun Hu,
LinYuan Liu:
Modeling Cost-Aware Web Services Composition Using PTCCS.
ICWS 2009: 461-468 |
| 15 | | Zining Cao:
A True Concurrent Process Calculus and Its Conflict Bisimulation.
SNPD 2009: 475-480 |
| 2008 |
|---|
| 14 | | Junhua Zhang,
Zhiqiu Huang,
Zining Cao,
Fangxiong Xiao:
Counterexample Generation for Probabilistic Timed Automata Model Checking.
CSSE (2) 2008: 210-214 |
| 13 | | Zining Cao:
A Logic for Distributed Higher Order pi-Calculus.
TAMC 2008: 351-363 |
| 12 | | Zining Cao:
Equivalence Checking for a Finite Higher Order pi-Calculus.
TAP 2008: 30-47 |
| 2007 |
|---|
| 11 | | Zining Cao:
Towards an Epistemic Logic for Uncertain Agents.
CEEMAS 2007: 266-276 |
| 10 | | Zining Cao:
Bisimulations for a Distributed Higher Order pi -Calculus.
ICTAC 2007: 94-108 |
| 2006 |
|---|
| 9 | | Zining Cao:
A Spatial Logical Characterisation of Context Bisimulation.
ASIAN 2006: 231-239 |
| 8 | | Zining Cao:
Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems.
CLIMA 2006: 134-150 |
| 7 | | Zining Cao:
A Complete Probabilistic Belief Logic.
CLIMA 2006: 80-94 |
| 6 | | Zining Cao:
More on Bisimulations for Higher Order pi-Calculus.
FoSSaCS 2006: 63-78 |
| 5 | | Zining Cao:
Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties.
Intelligent Information Processing 2006: 63-72 |
| 4 | | Zining Cao:
Verifying Real-Time Temporal, Cooperation and Epistemic Properties for Uncertain Agents.
MICAI 2006: 1095-1104 |
| 3 | | Zining Cao:
Model Checking for Epistemic and Temporal Properties of Uncertain Agents.
PRIMA 2006: 46-58 |
| 2004 |
|---|
| 2 | | Zining Cao:
A Uniform Reduction Equivalence for Process Calculi.
APLAS 2004: 179-195 |
| 2003 |
|---|
| 1 | | Zining Cao,
Chunyi Shi:
Probabilistic Belief Logic and Its Probabilistic Aumann Semantics.
J. Comput. Sci. Technol. 18(5): 571-579 (2003) |
Data released under the ODC-BY 1.0 license — See also our legal information page