Travelled to:1 × Canada
1 × Portugal
Collaborated with:G.Winskel F.Gauthier E.Merlo E.Stroulia
Talks about:support (1) mainten (1) control (1) concurr (1) theori (1) evolut (1) domain (1) applic (1) access (1) nomin (1)
Person: David Turner
DBLP: Turner:David
Contributed to:
2014
2009Wrote 2 papers:
- ICSME-2014-GauthierMST #data access #evolution #maintenance #modelling #web
- Supporting Maintenance and Evolution of Access Control Models in Web Applications (FG, EM, ES, DT), pp. 506–510.
- CSL-2009-TurnerW #concurrent
- Nominal Domain Theory for Concurrency (DT, GW), pp. 546–560.