Travelled to:1 × Austria
1 × Italy
1 × USA
Collaborated with:∅
Talks about:calculus (2) higher (2) refin (2) order (2) modal (2) check (2) character (1) interfac (1) automata (1) equival (1)
Person: Zining Cao
DBLP: Cao:Zining
Contributed to:
20122010
2008
2006Wrote 4 papers:
- SEKE-2012-Cao #logic #refinement
- Modal ZIA, Modal Refinement Relation and Logical Characterization (ZC), pp. 525–530.
- SEKE-2010-Cao #automaton #interface #refinement
- Refinement Checking for Interface Automata with Z Notation (ZC), pp. 399–404.
- TAP-2008-Cao #equivalence #finite #higher-order #π-calculus
- Equivalence Checking for a Finite Higher Order π-Calculus (ZC), pp. 30–47.
- FoSSaCS-2006-Cao #bisimulation #higher-order #π-calculus
- More on Bisimulations for Higher Order π-Calculus (ZC), pp. 63–78.