Zum Inhalt springen

  1. Hoare, Charles A. R. [Verfasser:in]

    Communicating sequential processes

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Englewood Cliffs, NJ [u.a.]: Prentice-Hall International, 1985

    Erschienen in: Prentice-Hall International series in computer science

  7. Gastin, Paul [Herausgeber:in]; Laroussinie, François [Sonstige Person, Familie und Körperschaft] ; CONCUR 21 2010 Paris

    CONCUR 2010 - concurrency theory : 21th international conference, CONCUR 2010, Paris, France, August 31 - September 3, 2010 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

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

    Erschienen in: Lecture notes in computer science ; 6269

  8. Breugel, Franck van [Sonstige Person, Familie und Körperschaft]; @Cherchik, Marsha [Sonstige Person, Familie und Körperschaft]; Breugel, Frank van [Herausgeber:in] ; CONCUR 19 2008 Toronto

    CONCUR 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

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

    Erschienen in: Lecture notes in computer science ; 5201

  14. Bergstra, J.A [Sonstige Person, Familie und Körperschaft]; Bergstra, Jan A. [Herausgeber:in]; 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
    Online ansehen
    Schließen
    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

  20. Reisig, Wolfgang [Herausgeber:in]

    Lectures on Petri Nets : advances in Petri Nets

    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 [u.a.]: Springer, 19XX-

    Erschienen in: Lecture notes in computer science ; .