Skip to contents

  1. Ponse, Alban [Editor]; Verhoef, C. [Other]; Vlijmen, S. Van [Other] ; 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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Workshops in Computing

  9. Hutchison, David [Other]; Ramalingam, G. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]; Pandu Rangan, C. [Other]

    Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Published in: Lecture notes in computer science ; 5356

  11. Gurevich, Yuri [Author] ; Kutter, Philipp W. [Other]; Odersky, Martin [Other]; Thiele, Lothar [Other]

    Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2000

    Published in: Lecture notes in computer science ; 1912