Simon Bliudze

Coordination Models and Languages
Verification and Evaluation of Computer and Communication Systems