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

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

Debugging and perfomance tuning for parallel computing systems /

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

ML with concurrency : design, analysis and applications /

Concurrent programming / by Burns, Alan, 1953-

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

Logics for concurrency : structure versus automata /

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

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

The temporal logic of reactive and concurrent systems / by Manna, Zohar

Publisher description

Concur - 2008 : Concurrency theory : proceedings /

Subjects: “…Concurrent programming.…”

CONCUR - 2003 : Concurrency theory /

Languages and compilers for parallel computing /

Subjects:

CONCUR -1997 : Concurrency theory /

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

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

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

Partitioning and scheduling parallel programs for multiprocessors / by Sarkar, Vivek

Subjects:

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