Sung-Shik Jongmans

• Coordination Models and Languages
• Formal Aspects of Component Software