Process Calculi for Protocol Verification

Lecture Course in the Midlands Graduate School 2011 .

Lectures:

Monday, 11 April until Thursday, 14 April, 15.00h-16.00h