Creating and sharing knowledge for telecommunications

CONCLUDED MSC THESIS

Resource-Centered Concurrency Control - Proving Type Safety

Beatriz Abecasis Gomes Ferreira
Supervisors: Jan Gunnar Cederquist, Ana Gualdina Almeida Matos
University: Instituto Superior Técnico
Keywords: