Showing 1 - 20 results of 31 for search 'Rutten, Jan', query time: 0.07s 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
    Advanced Topics in Bisimulation and Coinduction.

    Advanced Topics in Bisimulation and Coinduction. by Sangiorgi, Davide

    Published 2011
    Other Authors: “…Rutten, Jan…”
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    Weighted colimits and formal balls in generalized metric spaces

    Weighted colimits and formal balls in generalized metric spaces by Rutten, Jan J. M. M.

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Universal coalgebra a theory of systems

    Universal coalgebra a theory of systems by Rutten, Jan J. M. M.

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Elements of generalized ultrametric domain theory

    Elements of generalized ultrametric domain theory by Rutten, Jan J. M. M.

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Initial algebra and final coalgebra semantics for concurrency

    Initial algebra and final coalgebra semantics for concurrency by Rutten, Jan J. M. M.

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    A structural co-induction theorem

    A structural co-induction theorem by Rutten, Jan J. M. M.

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    On the foundations of final semantics non-standard sets, metric spaces, partial orders

    On the foundations of final semantics non-standard sets, metric spaces, partial orders by Rutten, Jan J., Turi, Daniele

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Processes as terms: non-well-founded models for bisimulation

    Processes as terms: non-well-founded models for bisimulation by Rutten, Jan J. M. M.

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Hereditarily finite sets and complete metric spaces

    Hereditarily finite sets and complete metric spaces by Rutten, Jan J. M. M.

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    A semantic approach to fairness

    A semantic approach to fairness by Rutten, Jan J., Zucker, Jeffrey I.

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Automata and coinduction (an exercise in coalgebra)

    Automata and coinduction (an exercise in coalgebra) by Rutten, Jan J. M. M.

    Published 1998
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    A calculus of transition systems (towards universal coalgebra)

    A calculus of transition systems (towards universal coalgebra) by Rutten, Jan J. M. M.

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Initial algebra and final coalgebra semantics for concurrency

    Initial algebra and final coalgebra semantics for concurrency by Rutten, Jan J., Turi, Daniele

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Hereditarily-finite sets and complete metric spaces

    Hereditarily-finite sets and complete metric spaces by Rutten, Jan J.

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Deriving denotational models for bisimulation from structured operational semantics

    Deriving denotational models for bisimulation from structured operational semantics by Rutten, Jan J.

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Semantic correctness for a parallel object-oriented language

    Semantic correctness for a parallel object-oriented language by Rutten, Jan J.

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Contractions in comparing concurrency semantics

    Contractions in comparing concurrency semantics by Kok, Joost N., Rutten, Jan J.

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Automata, power series, and coinduction taking input derivatives seriously (extended abstract)

    Automata, power series, and coinduction taking input derivatives seriously (extended abstract) by Rutten, Jan J. M. M.

    Published 1999
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    A note on coinduction and weak bisimilarity for while programs

    A note on coinduction and weak bisimilarity for while programs by Rutten, Jan J. M. M.

    Published 1998
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    A calculus of transition systems (towards universal coalgebra)

    A calculus of transition systems (towards universal coalgebra) by Rutten, Jan J.

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: