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: Wang:Hanpin
Contributed to:
2010
200920082007Wrote 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.