Concurrent systems are an area of study in computer science, where concurrency (computer science) or parallelism is important. Formalisms for concurrency semantics (e.g., process calculi such as Communicating Sequential Processes, Calculus of Communicating Systems, and more recently the Pi-calculus for mobile processes) are useful for describing and reasoning about such systems. Other models include Petri nets and the Actor model.
= External link =
*[
http://vl.fmnet.info/concurrent/ Concurrent Systems Virtual Library]