久久婷婷丁香五月色综合啪

      <th id="ntwpi"></th>
      1. <th id="ntwpi"></th>
      2. <tbody id="ntwpi"></tbody>

        <button id="ntwpi"><acronym id="ntwpi"></acronym></button><rp id="ntwpi"><acronym id="ntwpi"><input id="ntwpi"></input></acronym></rp>

        • go to Leslie G Valiant's profile page
        • go to Sir Tim Berners-Lee's profile page
        • go to Adi Shamir's profile page
        • go to Edsger W. Dijkstra's profile page
        • go to Kenneth Lane Thompson's profile page
        • go to Charles P. Thacker's profile page
        • go to Martin Hellman 's profile page
        • go to Ivan Sutherland's profile page
        • go to Juris Hartmanis's profile page
        • go to Donald E. Knuth's profile page
        • go to Silvio Micali's profile page
        • go to David Patterson's profile page
        • go to John Backus 's profile page
        • go to Manuel Blum's profile page
        • go to Vinton Cerf's profile page
        • go to Charles W Bachman's profile page
        • go to A J Milner 's profile page
        • go to Frances Allen's profile page
        • go to Richard Karp's profile page
        • go to Pat Hanrahan's profile page
        • go to Fernando Corbato's profile page
        • go to Edmund Clarke's profile page
        • go to Frederick Brooks's profile page
        • go to Shafi Goldwasser 's profile page
        A.M. TURING AWARD WINNERS BY...

        Arthur John Robin Gorell ("Robin") Milner DL Author Profile link

        United Kingdom – 1991
        Short Annotated Bibliography
        1. Gordon, Michael J., Arthur J. R. Milner and Christopher P. Wadsworth, Edinburgh LCF; a Mechanized Logic of Computation, Lecture Notes in Computer Science, Vol. 78, Springer, December 1, 1979.
        2. Milner, R., A Calculus for Communicating Systems, Lecture Notes in Computer Science, Vol. 92, Springer, 1980.
        3. Milner, R., Communication and Concurrency, Prentice Hall, 1989.
        4. Milner, R., Mads Tofte and Robert Harper, Definition of Standard ML, MIT Press, 1990.
        5. Milner R., Communicating and Mobile Systems: The Pi Calculus, Cambridge University Press, 1999.
        6. Goldin, Dina, Peter Wegner and Scott A. Smolka (eds), "Turing, Computing and Communication," in Interactive Computation: The New Paradigm, Springer, 2006.
        7. Milner, R., The Space and Motion of Communicating Agents, Cambridge University Press, 2009.
           
        久久婷婷丁香五月色综合啪
            <th id="ntwpi"></th>
            1. <th id="ntwpi"></th>
            2. <tbody id="ntwpi"></tbody>

              <button id="ntwpi"><acronym id="ntwpi"></acronym></button><rp id="ntwpi"><acronym id="ntwpi"><input id="ntwpi"></input></acronym></rp>