67194成l人在线观看线路

    <code id="gvbxt"><em id="gvbxt"><track id="gvbxt"></track></em></code><object id="gvbxt"><nobr id="gvbxt"><sub id="gvbxt"></sub></nobr></object>
    <code id="gvbxt"><em id="gvbxt"></em></code>

    <object id="gvbxt"></object>

      <strike id="gvbxt"><video id="gvbxt"></video></strike>
    1. <code id="gvbxt"></code>
      <th id="gvbxt"><sup id="gvbxt"></sup></th>
    2. <big id="gvbxt"><nobr id="gvbxt"></nobr></big>
      • go to Maurice V. Wilkes's profile page
      • go to Peter Naur's profile page
      • go to Ronald L Rivest's profile page
      • go to Frederick Brooks's profile page
      • go to Juris Hartmanis's profile page
      • go to John L Hennessy's profile page
      • go to Michael O. Rabin 's profile page
      • go to Manuel Blum's profile page
      • go to Sir Tim Berners-Lee's profile page
      • go to Edmund Clarke's profile page
      • go to A J Milner 's profile page
      • go to Niklaus E. Wirth's profile page
      • go to Amir Pnueli's profile page
      • go to Edward A Feigenbaum's profile page
      • go to Edwin Catmull's profile page
      • go to Allen Newell 's profile page
      • go to C. Antony R. Hoare 's profile page
      • go to John McCarthy's profile page
      • go to William Kahan's profile page
      • go to Marvin Minsky 's profile page
      • go to John E Hopcroft's profile page
      • go to Vinton Cerf's profile page
      • go to Yann LeCun's profile page
      • go to Ivan Sutherland'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.
         
      67194成l人在线观看线路

        <code id="gvbxt"><em id="gvbxt"><track id="gvbxt"></track></em></code><object id="gvbxt"><nobr id="gvbxt"><sub id="gvbxt"></sub></nobr></object>
        <code id="gvbxt"><em id="gvbxt"></em></code>

        <object id="gvbxt"></object>

          <strike id="gvbxt"><video id="gvbxt"></video></strike>
        1. <code id="gvbxt"></code>
          <th id="gvbxt"><sup id="gvbxt"></sup></th>
        2. <big id="gvbxt"><nobr id="gvbxt"></nobr></big>