Get my own profile
Public access
View all6 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Andrzej MurawskiUniversity of OxfordVerified email at cs.ox.ac.uk
Luke OngDistinguished University Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
Guy McCuskerProfessor of Computer Science, University of BathVerified email at bath.ac.uk
Achim JungProfessor of Computer Science, University of Birmingham, UKVerified email at cs.bham.ac.uk
Ranko LazicDepartment of Computer Science, University of WarwickVerified email at warwick.ac.uk
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
David ThomasUniversity of SouthamptonVerified email at southampton.ac.uk
George ConstantinidesImperial College LondonVerified email at ic.ac.uk
Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKVerified email at hw.ac.uk
Shane T. FlemingAMD Research, Swansea UniversityVerified email at swansea.ac.uk
Nikos TzevelekosQueen Mary, University of LondonVerified email at eecs.qmul.ac.uk
Follow![Dan R. Ghica](https://usercontent.cljtscd.com/citations?view_op=view_photo&user=nkaLcCAAAAAJ&citpid=3)
Dan R. Ghica
Professor of Semantics of Programming Languages, University of Birmingham
Verified email at cs.bham.ac.uk - Homepage