Listing 1 - 2 of 2 |
Sort by
|
Choose an application
Parallel processing (Electronic computers) --- -Vector processing (Computer science) --- -681.3*C12 --- 681.3*J2 --- Processing, Vector (Computer science) --- Electronic data processing --- Congresses --- Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Physical sciences and engineering (Computer applications) --- Vector processing (Computer science) --- Congresses. --- 681.3*J2 Physical sciences and engineering (Computer applications) --- 681.3*C12 Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- 681.3*C12 --- Parallel processing (Computer science) --- Parallel processing (Electronic computers) - Congresses. --- Vector processing (Computer science) - Congresses.
Choose an application
This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extension), started in September 1989. The principal aims of the action are to explore the relationships among the different approaches to algebraic concurrency theory, and to develop a formalism applicable to a wide range of case studies. The articles in this volume describe the state of the art in concurrency, the theory of communicating concurrent (or distributed) systems.
Machine theory --- Parallel processing (Electronic computers) --- Automates mathématiques, Théorie des --- Parallélisme (Informatique) --- Congresses --- Congrès --- -Parallel processing (Electronic computers) --- -681.3*D13 --- 681.3*D3 --- 681.3*F12 --- 681.3*F3 --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Concurrent programming --- Programming languages --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Logics and meanings of programs (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*D3 Programming languages --- 681.3*D13 Concurrent programming --- Automates mathématiques, Théorie des --- Parallélisme (Informatique) --- Congrès --- Machine theory - Congresses. --- Parallel processing (Electronic computers) - Congresses. --- Computer science. --- Information theory. --- Mathematics. --- Logic design. --- Computation by Abstract Devices. --- Theory of Computation. --- Mathematics, general. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Math --- Science --- Communication theory --- Communication --- Cybernetics --- Informatics --- -Congresses --- Concurrency
Listing 1 - 2 of 2 |
Sort by
|