Gordon Plotkin étudie à l'université de Glasgow et à l'université d'Édimbourg avec un diplôme de Bachelor en 1967 et un doctorat en informatique en 1972 sous la direction de Rodney Burstall(en) avec un travail intitulé Automatic methods of inductive inference[1]. Il devient professeur à Édimbourg, où il crée, avec Burstall et Robin Milner, le Laboratory for Foundations of Computer Science (LFCS).
« A structural approach to operational semantics », Journal of Logic and Algebraic Programming, vol. 60-61, , p. 17-139
Réimpression du rapport éponyme du Computer Science Department, Université d'Aarhus, 1981, avec une introduction de Plotkin: « The Origins of Structural Operational Semantics », ibid. pages 3-15.
(avec John C. Mitchell), « Abstract types have existential type », ACM Transactions on Programming Languages and Systems, vol. 10, no 3, , p. 470-502.
Martín Abadi, Michael Burrows, Butler Lampson et Gordon Plotkin, « A calculus for access control in distributed systems », ACM Transactions on Programming Languages and Systems, vol. 15, no 4, , p. 706-734 (DOI10.1145/155183.155225, lire en ligne)
