Suchergebnisse - Winskel, Glynn

  • Treffer 1 – 13 von 13
Treffer filtern
  1. 1
    Buchumschlag

    Events in computation
    von Winskel, Glynn

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    The formal semantics of programming languages: an introduction
    von Winskel, Glynn

    Veröffentlicht 2001
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    The formal semantics of programming languages: an introduction
    von Winskel, Glynn

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Petri nets, event structures and domains
    Band 1
    von Nielsen, Mogens, Plotkin, Gordon, Winskel, Glynn

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Domain theoretic models of polymorphism
    von Coquand, Thierry 1961-, Gunter, Carl, Winskel, Glynn

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    On the composition and decompositionof assertions
    von Winskel, Glynn

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    The formal semantics of programming languages: an introduction
    von Winskel, Glynn

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Category theory and models for parallel computation
    von Winskel, Glynn

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    DI-domains as a model of polymorphism
    von Coquand, Thierry 1961-, Gunter, Carl, Winskel, Glynn

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    A complete proof system for SCCS with modal assertions
    von Winskel, Glynn

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Petri nets, algebras and morphisms
    von Winskel, Glynn

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Synchronisation trees
    von Winskel, Glynn

    Veröffentlicht 1983
    Buch


    Gespeichert in:

Suchwerkzeuge: