COPING WITH SHARED MUTABLE STATE IN A TYPESTATE-ORIENTED CONCURRENT LANGUAGE
Doutora Carla Ferreira, Professora Catedrática, Departamento de Informática, FCT NOVA
Doutor Jonathan Aldrich, Professor of Computer Science, Carnegie Mellon University ;
Doutor Robbert Krebbers, Associate Professor, Radboud University Nijmegen;
Doutor Bernardo Toninho, Professor Associado, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa;
Doutor Marco Giunti, Researcher, University of Oxford (co-orientador);
Doutor António Ravara, Professor Associado, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa (orientador);