Travelled to:1 × China
1 × France
1 × Germany
Collaborated with:X.Sun H.Yue J.Jiang D.Chen
Talks about:action (2) refin (2) symmetri (1) structur (1) process (1) concurr (1) toward (1) system (1) semant (1) causal (1)
Person: Jinzhao Wu
DBLP: Wu:Jinzhao
Contributed to:
2006
20052004Wrote 3 papers:
- SAC-2006-JiangWC #symmetry
- Symmetry in event structures (JJ, JW, DC), pp. 1850–1851.
- SEFM-2005-SunW #process #realtime #refinement #semantics
- Operational Semantics for Real-Time Processes with Action Refinement (XS, JW), pp. 54–63.
- SEFM-2004-WuY #ambiguity #concurrent #refinement #towards
- Towards Action Refinement for Concurrent Systems with Causal Ambiguity (JW, HY), pp. 300–309.