Gordon Plotkin

Plotkin in 2005 Gordon David Plotkin (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on ''A Structural Approach to Operational Semantics'' were very influential. He has contributed to many other areas of computer science. Provided by Wikipedia
Showing 1 - 8 results of 8 for search 'Plotkin, Gordon', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    On proving limiting completeness

    On proving limiting completeness by Mosses, Peter D. 1948-, Plotkin, Gordon D.

    Published 1984
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Countable nondeterminism and random assignment

    Countable nondeterminism and random assignment by Apt, Krzysztof R. 1949-, Plotkin, Gordon D.

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    The category-theoretic solution of recursive domain equations

    The category-theoretic solution of recursive domain equations by Smyth, M. B., Plotkin, Gordon D.

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    A structural approach to operational semantics

    A structural approach to operational semantics by Plotkin, Gordon D.

    Published 1981
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    An operational semantics for CSP

    An operational semantics for CSP by Plotkin, Gordon D.

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Petri nets, event structures and domains

    Petri nets, event structures and domains by Nielsen, Mogens, Plotkin, Gordon, Winskel, Glynn

    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Countable nondeterminism and random assignment

    Countable nondeterminism and random assignment by Apt, Krzysztof R. 1949-, Plotkin, Gordon D.

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Petri nets, event structures and domains

    Petri nets, event structures and domains by Nielsen, Mogens, Plotkin, Gordon, Winskel, Glynn

    Published 1979
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: