Suchergebnisse - Shields, Michael William 1950-

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

    Non-sequential behaviours
    Band 2
    von Shields, Michael William 1950-

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    On the non-sequential behaviour of systems possessing a generalised free choice property
    von Shields, Michael William 1950-

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Programming and verifying concurrent systems in COSY
    von Shields, Michael William 1950-, Lauer, Peter E.

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Semantics of parallelism: non-interleaving representation of behaviour
    von Shields, Michael William 1950-

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    An introduction to automata theory
    von Shields, Michael William 1950-

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Serielle und parallele Automaten: Einführung in die Theorie
    von Shields, Michael William 1950-

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    A CCS specification of the OSI network service
    von Shields, Michael William 1950-, Wray, M. J.

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Formal behavioural specification of concurrent systems without globality assumptions
    von Lauer, Peter E., Shields, Michael William 1950-, Cotronis, John Y.

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Serielle und parallele Automaten: Einf. in d. Theorie
    von Shields, Michael William 1950-

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    COSY: a system specification language based on paths and processes
    von Lauer, Peter E., Torrigiani, Piero R., Shields, Michael William 1950-

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrrupts
    von Lauer, Peter E., Shields, Michael William 1950-

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    An introduction to automata theory
    von Shields, Michael William 1950-

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Formal theory of the basic COSY notation
    von Lauer, Peter E., Shields, Michael William 1950-, Best, Eike 1951-

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Design and analysis of highly parallel and distributed systems
    von Lauer, Peter E., Shields, Michael William 1950-, Best, Eike 1951-

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Adequate path expressions
    von Shields, Michael William 1950-

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Non-sequential behaviours
    von Shields, Michael William 1950-

    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    COSY: +an environment for development and analysis of concurrent and distributed systems
    von Lauer, Peter E., Shields, Michael William 1950-

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Verifying concurrent system specifications in COSY
    von Shields, Michael William 1950-, Lauer, Peter E.

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    A formal semantics for concurrent systems
    von Shields, Michael William 1950-, Lauer, Peter E.

    Veröffentlicht 1979
    Buch


    Gespeichert in:

Suchwerkzeuge: