Publications index

Andreas Blass, Yuri Gurevich

Springer Lecture Notes in Computer Science | April 1984, Vol 171: pp. 24-42

Leslie Lamport

ACM Transactions on Programming Languages and Systems | April 1984, pp. 281-296

Leslie Lamport

ACM Transactions on Programming Languages and Systems | April 1984, pp. 254-280

Yuri Gurevich

Information and Control 61 | April 1984, Vol 61: pp. 65-74

Mike Schroeder, Andrew Birrell, Roger Needham

ACM Transactions on Computer Systems | February 1984, Vol 2

Andrew Birrell, Bruce Jay Nelson

ACM Transactions on Computer Systems | February 1984, Vol 2: pp. 39-59

Simon Peyton Jones

MSR-TR-2016-70 | January 1984

INDRA Note 1530, University College London

Eric Horvitz, David Heckerman, Bharat N. Nathwani, Lawrence M. Fagan

January 1984, pp. 630-636

Christopher Bishop, P. Kirby, J. W. Connor, R. J. Hastie, J. B. Taylor

Nuclear Fusion | January 1984, Vol 24(12): pp. 1579

Yuri Gurevich

24th Annual Symposium on Foundations of Computer Science IEEE Computer Society Press | October 1983