`Travelled to:`

1 × The Netherlands

1 × United Kingdom

`Collaborated with:`

J.A.Padget

`Talks about:`

diagram (3) statechart (2) consist (2) check (2) hierarchi (1) calculus (1) sequenc (1) class (1) use (1)

## Person: Vitus S. W. Lam

### DBLP: Lam:Vitus_S=_W=

### Contributed to:

### Wrote 2 papers:

- ECOOP-2005-LamP #consistency #diagrams #statechart
- Consistency Checking of Statechart Diagrams of a Class Hierarchy (VSWL, JAP), pp. 412–427.
- IFM-2005-LamP #consistency #diagrams #sequence chart #statechart #using #π-calculus
- Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus (VSWL, JAP), pp. 347–365.