Treffer 1 – 6 von 6 für Suche 'Rutten, J. J. M. M.', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Mathematical techniques for analyzing concurrent and probabilistic systems

    Mathematical techniques for analyzing concurrent and probabilistic systems von Rutten, J. J. M. M., Kwiatkowska, Marta, Norman, Gethin

    Veröffentlicht 2004
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Processes as terms non-well-founded models for bisimulation

    Processes as terms non-well-founded models for bisimulation von Rutten, J. J. M. M.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Explicit canonical representatives for weak bisimulation equivalence and congruence

    Explicit canonical representatives for weak bisimulation equivalence and congruence von Rutten, J. J. M. M.

    Veröffentlicht 1990
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Nonwellfounded sets and programming language semantics

    Nonwellfounded sets and programming language semantics von Rutten, J. J. M. M.

    Veröffentlicht 1990
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A parallel object-oriented language design and semantic foundations

    A parallel object-oriented language design and semantic foundations von America, Pierre H., Rutten, J. J. M. M.

    Veröffentlicht 1991
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Advanced topics in bisimulation and coinduction

    Advanced topics in bisimulation and coinduction

    Veröffentlicht 2012
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: