TY - BOOK ID - 5362586 TI - CONCUR 2001 - Concurrency Theory : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings AU - Larsen, Kim G. AU - Nielsen, Mogens. AU - International Conference on Concurrency Theory PY - 2001 VL - 2154 SN - 03029743 SN - 3540424970 9783540424970 3540446850 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Parallel processing (Electronic computers) KW - Multitasking (Computer science) KW - Parallélisme (Informatique) KW - Fonctionnement multitâche KW - Congresses. KW - Congrès KW - Computer Science KW - Engineering & Applied Sciences KW - Computer multitasking KW - Parallélisme (Informatique) KW - Fonctionnement multitâche KW - Congrès KW - Computer multi-tasking KW - Concurrent processing (Computer science) KW - Multi-tasking, Computer KW - Computer science. KW - Architecture, Computer. KW - Programming languages (Electronic computers). KW - Computers. KW - Computer logic. KW - Algebra. KW - Computer Science. KW - Theory of Computation. KW - Computer System Implementation. KW - Logics and Meanings of Programs. KW - Computation by Abstract Devices. KW - Programming Languages, Compilers, Interpreters. KW - Electronic data processing KW - Information theory. KW - Computer network architectures. KW - Logic design. KW - Informatics KW - Science KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Mathematics KW - Mathematical analysis KW - Architectures, Computer network KW - Network architectures, Computer KW - Computer architecture KW - Communication theory KW - Communication KW - Cybernetics KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Architecture, Computer KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Calculators KW - Cyberspace KW - Computer architecture. KW - Programming languages (Electronic computers) UR - https://www.unicat.be/uniCat?func=search&query=sysid:5362586 AB - This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001. The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games. ER -