BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cao:Zining

Contributed to:

SEKE 20122012
SEKE 20102010
TAP 20082008
FoSSaCS 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.