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 × Brazil
1 × Korea
1 × Portugal
1 × Switzerland
Collaborated with:
Y.Huang Z.Wang N.Zhan C.Xu W.Qu H.Guo Z.Xu Y.Cao
Talks about:
model (3) net (2) choreographi (1) synchron (1) softwar (1) boolean (1) verifi (1) servic (1) semant (1) compon (1)

Person: Hanpin Wang

DBLP DBLP: Wang:Hanpin

Contributed to:

SAC 20102010
CSL 20092009
SAC 20082008
SAC 20072007

Wrote 4 papers:

SAC-2010-WangWZ #component #modelling #refinement
Refinement of models of software components (ZW, HW, NZ), pp. 2311–2318.
CSL-2009-GuoWXC #model checking #on the
On Model Checking Boolean BI (HG, HW, ZX, YC), pp. 302–316.
SAC-2008-XuWQ #modelling #using #verification
Modeling and verifying BPEL using synchronized net (CX, HW, WQ), pp. 2358–2362.
SAC-2007-HuangW #petri net #semantics #web #web service
A petri net semantics for web service choreography (YH, HW), pp. 1689–1690.

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.