Verification of similar concurrent processes by model-checking and using mathematical techniques based on symmetry and induction

 aims and scope
publications
talks
people