Skip to contents

  1. Ronchi Della Rocca, Simona [Author]; Paolini, Luca [Author]

    The parametric lambda calculus : a metamodel for computation

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, [2004]

    Published in: Texts in theoretical computer science - an EATCS series

  2. Best, Eike [Author]; Devillers, Raymond [Author]; Koutny, Maciej [Author]

    Petri net algebra

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2001

    Published in: Monographs in theoretical computer science

  3. Schmidt-Schauß, Manfred [Author]; Niehren, Joachim [Author]; Schwinghammer, Jan [Author]; Sabel, David [Author]

    Adequacy of compositional translations for observational semantics

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Publication Server of Goethe University Frankfurt am Main, 2009-02-28

  4. Schmidt-Schauß, Manfred [Author]; Niehren, Joachim [Author]; Schwinghammer, Jan [Author]; Sabel, David [Author]

    Adequacy of compositional translations for observational semantics

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Publication Server of Goethe University Frankfurt am Main, 2008-02-19

  5. Schmidt-Schauß, Manfred [Author]; Niehren, Joachim [Author]; Schwinghammer, Jan [Author]; Sabel, David [Author]

    Adequacy of compositional translations for observational semantics

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Publication Server of Goethe University Frankfurt am Main, 2008-04-15

  6. Schmidt-Schauß, Manfred [Author]; Niehren, Joachim [Author]; Schwinghammer, Jan [Author]; Sabel, David [Author]

    Adequacy of compositional translations for observational semantics

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Publication Server of Goethe University Frankfurt am Main, 2008-07-10

  7. Schmidt-Schauß, Manfred [Author]; Niehren, Joachim [Author]; Schwinghammer, Jan [Author]; Sabel, David [Author]

    Adequacy of compositional translations for observational semantics

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Publication Server of Goethe University Frankfurt am Main, 2008-10-14