Concurrency
The term for the property of some collection of active processes that allows them to be active at any time, including at the same time, or in varying orders. Single-processor systems take advantage of the re-ordering allowance to simulate this simultaneous activity.Distributed systems are most often designed to take advantage of concurrency whenever possible.
Some programming languages support concurrency implicitly in their semantics. The language itself is then said to be "concurrent".
Pages in this topic: Fusion Calculus Join Calculus Pi Calculus
Also linked from: Algebraic Specification Benjamin C. Pierce Candygram Concurrency-Oriented Concurrent Erlang Microkernel Debate Moby Referential Transparency and State SR