Zum Inhalt springen

  3. Fokkink, Willem J. [VerfasserIn] ; Fokkink, Wan [Sonstige Person, Familie und Körperschaft]

    Introduction to process algebra : with 11 figures and 11 tables

    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, 2000

    Erschienen in: Texts in theoretical computer science- An EATCS series

  8. Ponse, Alban [HerausgeberIn]; Verhoef, C. [Sonstige Person, Familie und Körperschaft]; Vlijmen, S. Van [Sonstige Person, Familie und Körperschaft] ; Algebra of communicating processes 1, 1994, Utrecht, The Netherlands, Workshop on the Algebra of Communicating Processes 1 1994 Utrecht

    Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16 - 17 May 1994

    Bücher
    Schließen

    Merkliste

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

    London; Berlin; Heidelberg [u.a.]: Springer, 1995

    Erschienen in: Workshops in Computing

  9. Hoare, Charles A. R. [VerfasserIn]

    Communicating sequential processes

    Bücher
    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

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

  11. Stirling, Colin [VerfasserIn]; Stirling, Colin P. [VerfasserIn]

    Modal and temporal properties of processes

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

    Erschienen in: Texts in computer science

  14. Eijck, Jan van [HerausgeberIn]

    Logic and information flow

    Bücher
    Schließen

    Merkliste

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

    Cambridge, Mass. [u.a.]: MIT Press, 1994

    Erschienen in: Foundations of computing

  15. Aceto, Luca [VerfasserIn]

    Action refinement in process algebras

    Bücher
    Schließen

    Merkliste

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

    Cambridge: Cambridge University Press, 1992

    Erschienen in: Distinguished Dissertations in Computer Science

  19. Gastin, Paul [HerausgeberIn]; 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
    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

  20. Breugel, Franck van [Sonstige Person, Familie und Körperschaft]; @Cherchik, Marsha [Sonstige Person, Familie und Körperschaft]; Breugel, Frank van [HerausgeberIn] ; CONCUR 19 2008 Toronto

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

    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, 2008

    Erschienen in: Lecture notes in computer science ; 5201