Skip to contents

  1. Taylor, Stephen [Author]

    Parallel logic programming techniques

    Books
    Close

    Bookmarks

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

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

    Published in: Prentice-Hall International editions

  2. Bustard, David [Author]; Elder, John [Author]; Welsh, Jim [Author]

    Concurrent program structures

    Books
    Close

    Bookmarks

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

    New York [u.a.]: Prentice Hall, 1988

    Published in: Prentice Hall international series in computer science

  3. Milner, Robin [Author]

    Communication and concurrency - [1. publ.]

    Books
    Close

    Bookmarks

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

    New York, NY [u.a.]: Prentice-Hall, 1989

    Published in: Prentice Hall international series in computer science

  4. Shapiro, Ehud Y. [Editor]

    Concurrent prolog : collected papers

    Books
    Close

    Bookmarks

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

    Cambridge, Mass. [u.a.]: MIT Pr., 19XX-

    Published in: MIT Press series in logic programming

  5. Saraswat, Vijay A. [Author]

    Concurrent constraint programming

    Books
    Close

    Bookmarks

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

    Cambridge, Mass; London: MIT Press, 1993

    Published in: ACM doctoral dissertation awards

  6. Schneider, Fred B. [Author]

    On concurrent programming

    Books
    Close

    Bookmarks

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

    New York; Berlin; Heidelberg: Springer, 1997

    Published in: Graduate texts in computer science

  7. Rattray, Charles [Editor] ; British Computer Society Specialist Group in Formal Aspects of Computing Science, Workshop on Specification and Verification of Concurrent Systems 1988 Stirling

    Specification and verification of concurrent systems

    Books
    Close

    Bookmarks

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

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

    Published in: Workshops in computing