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:
2005
2005Wrote 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.