Treffer 1 – 10 von 10 für Suche 'Baldamus, Michael', Suchdauer: 0,04s 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
    Semantics and logic of higher-ordner processes characterizing late context bisimulation

    Semantics and logic of higher-ordner processes characterizing late context bisimulation von Baldamus, Michael

    Veröffentlicht 1998
    Abschlussarbeit Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Semantics and logic of higher order processes: characterizing late context bisimulation

    Semantics and logic of higher order processes: characterizing late context bisimulation von Baldamus, Michael

    Veröffentlicht 1998
    Abschlussarbeit Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Congruence proofs for weak bisimulation equivalences on higher order process calculi

    Congruence proofs for weak bisimulation equivalences on higher order process calculi von Baldamus, Michael, Frauenstein, Thomas

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A non-well-founded sets semantics for observation congruence over full CCS

    A non-well-founded sets semantics for observation congruence over full CCS von Baldamus, Michael

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    New concepts for amalgamation and extension in the framework of specification logics

    New concepts for amalgamation and extension in the framework of specification logics von Ehrig, Hartmut 1944-2016, Baldamus, Michael, Orejas, Fernando

    Veröffentlicht 1991
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Congruence proofs for weak bisimulation on higher order processes results for typed omega-order calculi

    Congruence proofs for weak bisimulation on higher order processes results for typed omega-order calculi von Frauenstein, Thomas, Baldamus, Michael, Glas, Rainer

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Modal characterization of weak bisimulation for higher order processes

    Modal characterization of weak bisimulation for higher order processes von Baldamus, Michael, Dingel, Jürgen

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Semantics and logic of higher order processes: characterizing late context bisimulation

    Semantics and logic of higher order processes: characterizing late context bisimulation von Baldamus, Michael

    Veröffentlicht 1998
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Semantics and logic of higher order processes characterizing late context bisimulation

    Semantics and logic of higher order processes characterizing late context bisimulation von Baldamus, Michael

    Veröffentlicht 1997
    Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Tau less CCS with a remote procedure call primitive

    Tau less CCS with a remote procedure call primitive von Baldamus, Michael

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: