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