Process Calculi for Protocol Verification

Lecture Course in the Midlands Graduate School 2013 .

Lectures:

Tuesday, 9 April, 13:30-14:25h
Tuesday, 9 April until Thursday, 11 April, 17:05h-18:00h