Sophia Drossopoulou
Bisimulation XML algorithm algorithms computer languages data structure formal languages polymorphism process algebra program semantics programming programming calculi programming language design programming theory static