Andrew D Gordon

Andrew D Gordon

Microsoft Research - - / United States
Others
AD Scientific Index ID: 4391023
person_outline Andrew D Gordon's MOST POPULAR ARTICLES
1-) Mobile ambientsL Cardelli, AD GordonInternational Conference on Foundations of Software Science and Computation …, 199825471998
2-) A calculus for cryptographic protocols: The spi calculusM Abadi, AD GordonProceedings of the 4th ACM Conference on Computer and Communications …, 199720831997
3-) Concurrent haskellSP Jones, A Gordon, S FinnePOPL 96, 295-308, 19966331996
4-) Anytime, anywhere: Modal logics for mobile ambientsL Cardelli, AD GordonProceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 20005422000
5-) Probabilistic programmingAD Gordon, TA Henzinger, AV Nori, SK RajamaniFuture of software engineering proceedings, 167-181, 20145312014