Skip to search formSkip to main contentSkip to account menu

Andrew D. Gordon

Andrew D. Gordon is a British computer scientist employed by Microsoft Research. His research interests include programming language design, formal… 
Wikipedia (opens in a new tab)

Related topics

Related topics

16 relations
Access controlActor model and process calculiAmbient calculusCoinduction

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Modelling and Proving Cryptographic Protocols in the Spi Calculus using Coq
The spi calculus is a process algebra used to model cryptographic protocols. A process calculus is a means of modelling a system… 
2012
2012
Andrew D. Gordon
2007
2007
Introduction to special ESOP'05 issue
2007
2007
Multi-tier programming
  • 2007
  • Corpus ID: 44493249
Multi-tier applications are traditionally designed in the style of a client-server architecture, forcing different parts of the… 
1998
1998
Higher Order Operational Techniques in Semantics edited by Andrew D. Gordon and Andrew M. Pitts, Cambridge University Press 1998, ISBN 0 521 63168 8 (hardback).
1985
1985
A natural bi-generic fern hybrid between Christella dentata and Pneumatopteris afra, from Ghana
s 473 frequent, together with A. dolomiticum Love, in at least one hundred localities across the karst plateaus of Lika and… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)