久久丫线这里只精品

    • go to John McCarthy's profile page
    • go to Yann LeCun's profile page
    • go to Niklaus E. Wirth's profile page
    • go to Leslie Lamport's profile page
    • go to Michael Stonebraker's profile page
    • go to Marvin Minsky 's profile page
    • go to Kenneth Lane Thompson's profile page
    • go to Robert E Tarjan's profile page
    • go to Edgar F. Codd's profile page
    • go to A. J. Perlis 's profile page
    • go to Raj Reddy's profile page
    • go to Edmund Clarke's profile page
    • go to Frances Allen's profile page
    • go to J. H. Wilkinson 's profile page
    • go to Edsger W. Dijkstra's profile page
    • go to Whitfield Diffie 's profile page
    • go to Frederick Brooks's profile page
    • go to Jim Gray 's profile page
    • go to Ole-Johan Dahl 's profile page
    • go to Ivan Sutherland's profile page
    • go to Charles W Bachman's profile page
    • go to E. Allen Emerson's profile page
    • go to Dana S Scott's profile page
    • go to Stephen A Cook'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.
       
    久久丫线这里只精品