Robin Milner

Foundations of Software Science and Computation Structure · 1980–2009

A researcher in the Science corpus: 4 papers; trusts 3 researchers and is trusted by 11 researchers here, as inferred from the citation graph.

Whom Robin Milner trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Aviv Regev
  2. William Silverman
  3. Ehud Y. Shapiro
  4. Keith W. Cheverst

Who trusts Robin Milner overall

  1. Vincent Danos
  2. Aviv Regev
  3. Ekaterina M. Panina
  4. Jérôme Feret
  5. Jos C. M. Baeten
  6. William Silverman
  7. Walter Fontana
  8. Luca Cardelli
  9. Russell Harmer
  10. Jean-Louis Krivine

Papers from Robin Milner's perspective

Ordered by how strongly the researchers Robin Milner trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra (Pacific Symposium on Biocomputing)
  2. Experiences of developing and deploying a context-aware tourist guide: the GUIDE project (ACM/IEEE International Conference on Mobile Computing and Networking)
  3. The π-Calculus: A theory of mobile processes (Scalable Computing : Practice and Experience)
  4. BIND: the Biomolecular Interaction Network Database (Nucleic Acids Res.)
  5. Central nervous system control of food intake (Nature)
  6. Application of a stochastic name-passing calculus to representation and simulation of molecular processes (Information Processing Letters)
  7. Membrane Computing (Natural Computing Series)
  8. Pict: a programming language based on the Pi-Calculus (Proof, Language, and Interaction)
  9. Communicating and Mobile Systems: the π-calculus,
  10. Bigraphical Reactive Systems (International Conference on Concurrency Theory)

Their papers