Zum Inhalt springen

  7. 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

  13. Katoen, Joost-Pieter [Herausgeber:in]; König, Barbara [Sonstige Person, Familie und Körperschaft] ; CONCUR 22 2011 Aachen

    CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; 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, 2011

    Erschienen in: Lecture notes in computer science ; 6901

  14. 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

  15. 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

  16. Bravetti, Mario [Herausgeber:in]; Zavattaro, Gianluigi [Sonstige Person, Familie und Körperschaft] ; CONCUR 20 2009 Bologna

    CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; 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, 2009

    Erschienen in: Lecture notes in computer science ; 5710

  17. Caires, Luís [Herausgeber:in]; Vasconcelos, Vasco T. [Sonstige Person, Familie und Körperschaft] ; CONCUR 18 2007 Lissabon

    CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; 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, 2007

    Erschienen in: Lecture notes in computer science ; 4703

  18. Baier, Christel [Herausgeber:in]; Hermanns, Holger [Sonstige Person, Familie und Körperschaft] ; CONCUR 17 2006 Bonn

    CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27 - 30, 2006 ; 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, 2006

    Erschienen in: Lecture notes in computer science ; 4137