Suggested Topics within your search.
Showing 1 - 20 results of 59 for search 'Concurrency (computer science)', query time: 0.07s Refine Results
  1. 1
    Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /

    Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /

    Published 1995
    Conference Proceeding Book
  2. 2
    The theory and practice of concurrency /

    The theory and practice of concurrency / by Roscoe, A. W.

    Published 1998
    Book
  3. 3
    Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 : proceedings /

    Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  4. 4
    Concur - 2008 : Concurrency theory : proceedings /

    Concur - 2008 : Concurrency theory : proceedings /

    Published 2008
    Conference Proceeding Book
  5. 5
    ML with concurrency : design, analysis and applications /

    ML with concurrency : design, analysis and applications /

    Published 1997
    Book
  6. 6
    Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem /

    Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / by Godefroid, Patrice

    Published 1996
    Book
  7. 7
    Concurrent programming /

    Concurrent programming / by Burns, Alan, 1953-

    Published 1998
    Book
  8. 8
    Concurrent systems : Operating systems, database and distributed systems: an integrated approach /

    Concurrent systems : Operating systems, database and distributed systems: an integrated approach / by Bacon, Jean, 1942-

    Published 1998
    Book
  9. 9
    Logics for concurrency : structure versus automata /

    Logics for concurrency : structure versus automata /

    Published 1996
    Book
  10. 10
    Communication and concurrency /

    Communication and concurrency / by Milner, Robin, 1934-2010

    Published 1989
    Book
  11. 11
    CONCUR -1997 : Concurrency theory /

    CONCUR -1997 : Concurrency theory /

    Published 1997
    Conference Proceeding Book
  12. 12
    CONCUR - 2003 : Concurrency theory /

    CONCUR - 2003 : Concurrency theory /

    Published 2003
    Conference Proceeding Book
  13. 13
    CONCUR - 1994 : Concurrency theory /

    CONCUR - 1994 : Concurrency theory /

    Published 1994
    Conference Proceeding Book
  14. 14
    Languages and compilers for parallel computing /

    Languages and compilers for parallel computing /

    Published 1996
    Conference Proceeding Book
  15. 15
    Verification of sequential and concurrent programs /

    Verification of sequential and concurrent programs / by Apt, Krzysztof R., 1949-

    Published 2009
    Book
  16. 16
    Specification and analysis of concurrent systems : the cosy approach /

    Specification and analysis of concurrent systems : the cosy approach / by Janicki, Ryszard

    Published 1992
    Book
  17. 17
    Principles of concurrent and distributed programming

    Principles of concurrent and distributed programming by Ben-Ari, Mordechai, 1948-

    Published 1990
    Book
  18. 18
    Software agents and soft computing : towards enhancing machine intelligence; concepts and applications /

    Software agents and soft computing : towards enhancing machine intelligence; concepts and applications /

    Published 1997
    Book
  19. 19
    CONCUR - 1995 : Concurrency theory : Proceedings /

    CONCUR - 1995 : Concurrency theory : Proceedings /

    Published 1995
    Conference Proceeding Book
  20. 20
    Communication and architectural support for network-based parallel computing /

    Communication and architectural support for network-based parallel computing /

    Published 1997
    Conference Proceeding Book

Search Tools: