Concurrent systems are an area of study in computer science, where concurrency or parallelism is important. Formalisms for concurrency semantics (e.g., process calculi such as CSP, CCS, and more recently the π-calculus for mobile processes) are useful for describing and reasoning about such systems. Other models include Petri nets and the Actor model. Wikibooks Wikiversity has more about this subject: School of Computer Science Open Directory Project: Computer Science Downloadable Science and Computer Science books Collection of Computer Science Bibliographies Belief that title science in computer science is inappropriate Categories: | ... In computer science, concurrency is concerned with the sharing of common resources between computations which execute overlapped in time (including running in parallel). ... Parallelism may refer to: Philosophical parallelism Computer parallelism This is a disambiguation page — a navigational aid which lists other pages that might otherwise share the same title. ... In computer science, concurrency semantics is a way to give meaning to concurrent programss in a mathematically rigorous way (see formal semantics of programming languages). ... The Process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems. ... In computer science, Communicating Sequential Processes (CSP) is a language for describing patterns of interaction. ... The Calculus of Communicating Systems (or CCS) (one of the first process calculi) was developed by Robin Milner. ... In theoretical computer science, the π-calculus is a notation originally developed by Robin Milner, Joachim Parrow and David Walker to model concurrency (just as the λ-calculus is a simple model of sequential programming languages). ... In computer science, the Actor model, first published in 1973, is a mathematical model of concurrent computation. ...
Feeds |
Contact