Search Results - Milner, Robin 1934-2010

Filter by
  1. 1
    Cover Image

    The definition of Standard ML
    by Milner, Robin 1934-2010, Tofte, Mads, Harper, Robert 1957-

    Published 1990
    Book


    Saved in:
  2. 2
    Cover Image

    A complete inference system for a class of regular behaviours
    by Milner, Robin 1934-2010

    Published 1982
    Book


    Saved in:
  3. 3
    Cover Image

    Concurrent processes and their syntax
    by Milne, George J., Milner, Robin 1934-2010

    Published 1977
    Book


    Saved in:
  4. 4
    Cover Image

    Flowgraphs and flow algebras
    by Milner, Robin 1934-2010

    Published 1977
    Book


    Saved in:
  5. 5
    Cover Image

    A theory of type polymorphism in programming
    by Milner, Robin 1934-2010

    Published 1977
    Book


    Saved in:
  6. 6
    Cover Image

    LCF, a way of doing proofs with a machine
    by Milner, Robin 1934-2010

    Published 1977
    Book


    Saved in:
  7. 7
    Cover Image

    Communicating and mobile systems: the pi-calculus
    by Milner, Robin 1934-2010

    Published 2004
    Table of Contents
    Book


    Saved in:
  8. 8
    Cover Image

    Commentary on Standard ML
    by Milner, Robin 1934-2010, Tofte, Mads

    Published 1991
    Book


    Saved in:
  9. 9
    Cover Image

    Functions as processes
    by Milner, Robin 1934-2010

    Published 1990
    Book


    Saved in:
  10. 10
    Cover Image

    The standard ML core language
    by Milner, Robin 1934-2010

    Published 1984
    Book


    Saved in:
  11. 11
    Cover Image

    On relating synchrony and asynchrony
    by Milner, Robin 1934-2010

    Published 1980
    Book


    Saved in:
  12. 12
    Cover Image

    Edinburgh LCF
    Band 2 - Appendices and index
    by Gordon, Michael J. C. 1948-, Milner, Robin 1934-2010, Wadsworth, Christopher P.

    Published 1977
    Book


    Saved in:
  13. 13
    Cover Image

    Communication and concurrency
    by Milner, Robin 1934-2010

    Published 1989
    Book


    Saved in:
  14. 14
    Cover Image

    A proposal for standard ML
    by Milner, Robin 1934-2010

    Published 1983
    Book


    Saved in:
  15. 15
    Cover Image

    Calculi for synchrony and asynchrony
    by Milner, Robin 1934-2010

    Published 1982
    Book


    Saved in:
  16. 16
    Cover Image

    A calculus of communicating systems
    by Milner, Robin 1934-2010

    Published 1980
    Book


    Saved in:
  17. 17
    Cover Image

    On observing nondeterminism and concurrency
    by Hennessy, Matthew, Milner, Robin 1934-2010

    Published 1980
    Book


    Saved in:
  18. 18
    Cover Image

    A calculus of communicating systems
    by Milner, Robin 1934-2010

    Published 1980
    Read online
    Electronic eBook


    Saved in:
  19. 19
    Cover Image

    Edinburgh LCF
    Band 1
    by Gordon, Michael J. C. 1948-, Milner, Robin 1934-2010, Wadsworth, Christopher P.

    Published 1977
    Book


    Saved in:
  20. 20
    Cover Image

    Algebras for communicating systems
    by Milner, Robin 1934-2010

    Published 1977
    Book


    Saved in:

Search Tools: