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 × USA
Collaborated with:
J.Zhang B.Li S.Chen W.Zhu
Talks about:
pseudometr (1) preferenti (1) bisimilar (1) behaviour (1) valuat (1) model (1) rank (1) base (1)

Person: Zhaohui Zhu

DBLP DBLP: Zhu:Zhaohui

Contributed to:

QAPL 20082008
KR 20002000

Wrote 2 papers:

QAPL-2008-ZhangZ #behaviour #pseudo
A Behavioural Pseudometric based on λ-Bisimilarity (JZ, ZZ), pp. 115–127.
Valuation-ranked preferential model (ZZ, BL, SC, WZ), pp. 647–653.

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.