Zum Inhalt springen

  2. Bergstra, J.A [Sonstige Person, Familie und Körperschaft]; Bergstra, Jan A. [HerausgeberIn]; Ponse, Alban [Sonstige Person, Familie und Körperschaft]; Smolka, Scott A. [Sonstige Person, Familie und Körperschaft]

    Handbook of process algebra - [1st ed]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam [u.a.]: Elsevier, 2001

  10. Diekert, Volker [HerausgeberIn]; Rozenberg, Grzegorz [Sonstige Person, Familie und Körperschaft]

    The book of traces

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Singapore [u.a.]: World Scientific, 1995

  13. Schneider, Fred B. [VerfasserIn]

    On concurrent programming

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York; Berlin; Heidelberg: Springer, 1997

    Erschienen in: Graduate texts in computer science

  14. Große, Gerd [VerfasserIn]

    State event logic - [Als Ms. gedr.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Shaker, 1997

    Erschienen in: Berichte aus der Informatik

  16. Janicki, Ryszard [VerfasserIn]; Lauer, Peter E. [VerfasserIn]

    Specification and analysis of concurrent systems : the COSY approach

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer-Verlag, 1992

    Erschienen in: European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 26]

  18. Smith, Einar [VerfasserIn] ; Universität Hamburg, Universität Hamburg Fakultät für Mathematik, Informatik und Naturwissenschaften, Universität Hamburg Fachbereich Informatik

    Zur Bedeutung der Concurrency-Theorie für den Aufbau hochverteilter Systeme

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    München; Wien: Oldenbourg, 1989

    Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 180