University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Semantics for concurrency

Supervisor

Suitable for

Abstract

Dr Alexandru Baltag is available to supervise projects in this area.