Suchergebnisse - Milner, Robin 1934-2010

Robin Milner

Arthur John Robin Gorell Milner FRS FRSE (* 13. Januar 1934 in Yealmpton bei Plymouth; † 20. März 2010 in Cambridge) war ein britischer Professor für Informatik und Preisträger des Turing Award. Veröffentlicht in Wikipedia
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Flowgraphs and flow algebras
    von Milner, Robin 1934-2010

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2004
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Functions as processes
    von Milner, Robin 1934-2010

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Communication and concurrency
    von Milner, Robin 1934-2010

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

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

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

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

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

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

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

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

    Veröffentlicht 1980
    Elektronisch E-Book


    Gespeichert in:
  19. 19
    Buchumschlag

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

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Algebras for communicating systems
    von Milner, Robin 1934-2010

    Veröffentlicht 1977
    Buch


    Gespeichert in:

Suchwerkzeuge: