Imperial College London

ProfessorNobukoYoshida

Faculty of EngineeringDepartment of Computing

Professor of Computing
 
 
 
//

Contact

 

+44 (0)20 7594 8240n.yoshida Website

 
 
//

Location

 

556Huxley BuildingSouth Kensington Campus

//

Summary

 

Concurrent Processes - CO406H

Aims

To learn a basic process algebra (mobility and communication via the pi-calculus)

To learn a basic semantics of the pi-calculus

To learn a basic type theory of the pi-calculus (session types) 

To learn applications of the pi-calculus (protocols, distributed and concurrent languages based on communications)

Role

Course Leader