Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Communicating_sequential_processes> ?p ?o }
- Communicating_sequential_processes abstract "In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi, based on message passing via channels. CSP was highly influential in the design of the occam programming language, and also influenced the design of programming languages such as Limbo and Go.CSP was first described in a 1978 paper by C. A. R. Hoare, but has since evolved substantially. CSP has been practically applied in industry as a tool for specifying and verifying the concurrent aspects of a variety of different systems, such as the T9000 Transputer, as well as a secure ecommerce system. The theory of CSP itself is also still the subject of active research, including work to increase its range of practical applicability (e.g., increasing the scale of the systems that can be tractably analyzed).".
- Communicating_sequential_processes wikiPageExternalLink www.usingcsp.com.
- Communicating_sequential_processes wikiPageExternalLink 61363.html.
- Communicating_sequential_processes wikiPageExternalLink articles.html.
- Communicating_sequential_processes wikiPageExternalLink search?q=communicating+sequential+processes&submit=Search&sort=rlv&t=doc.
- Communicating_sequential_processes wikiPageExternalLink cml.cs.uchicago.edu.
- Communicating_sequential_processes wikiPageExternalLink BF01178564.
- Communicating_sequential_processes wikiPageExternalLink thesis.pdf.
- Communicating_sequential_processes wikiPageExternalLink concurrency.
- Communicating_sequential_processes wikiPageExternalLink 68b.pdf.
- Communicating_sequential_processes wikiPageExternalLink 68b.ps.
- Communicating_sequential_processes wikiPageExternalLink pubs.html.
- Communicating_sequential_processes wikiPageExternalLink tcoz.html.
- Communicating_sequential_processes wikiPageExternalLink approach.html.
- Communicating_sequential_processes wikiPageExternalLink c++csp.
- Communicating_sequential_processes wikiPageExternalLink cspcasl.ps.
- Communicating_sequential_processes wikiPageExternalLink circus.
- Communicating_sequential_processes wikiPageExternalLink www.wotug.org.
- Communicating_sequential_processes wikiPageExternalLink show_pap.php?f=1&num=394.
- Communicating_sequential_processes wikiPageExternalLink show_pap.php?f=1&num=395.
- Communicating_sequential_processes wikiPageExternalLink Hopac.
- Communicating_sequential_processes wikiPageExternalLink core.async.
- Communicating_sequential_processes wikiPageExternalLink LuaCSP.
- Communicating_sequential_processes wikiPageExternalLink scala-gopher.
- Communicating_sequential_processes wikiPageID "247370".
- Communicating_sequential_processes wikiPageLength "37008".
- Communicating_sequential_processes wikiPageOutDegree "102".
- Communicating_sequential_processes wikiPageRevisionID "675400162".
- Communicating_sequential_processes wikiPageWikiLink Actor_model.
- Communicating_sequential_processes wikiPageWikiLink Ada_(programming_language).
- Communicating_sequential_processes wikiPageWikiLink Algebraic_semantics_(computer_science).
- Communicating_sequential_processes wikiPageWikiLink Altran_Praxis.
- Communicating_sequential_processes wikiPageWikiLink B-Method.
- Communicating_sequential_processes wikiPageWikiLink B_method.
- Communicating_sequential_processes wikiPageWikiLink Bill_Roscoe.
- Communicating_sequential_processes wikiPageWikiLink Binary_decision_diagram.
- Communicating_sequential_processes wikiPageWikiLink Brinch_Hansen.
- Communicating_sequential_processes wikiPageWikiLink C._A._R._Hoare.
- Communicating_sequential_processes wikiPageWikiLink C_(programming_language).
- Communicating_sequential_processes wikiPageWikiLink Calculus_of_Communicating_Systems.
- Communicating_sequential_processes wikiPageWikiLink Calculus_of_communicating_systems.
- Communicating_sequential_processes wikiPageWikiLink Category:1978_in_computer_science.
- Communicating_sequential_processes wikiPageWikiLink Category:1978_introductions.
- Communicating_sequential_processes wikiPageWikiLink Category:Concurrent_computing.
- Communicating_sequential_processes wikiPageWikiLink Category:Process_calculi.
- Communicating_sequential_processes wikiPageWikiLink Channel_(programming).
- Communicating_sequential_processes wikiPageWikiLink CiteSeer.
- Communicating_sequential_processes wikiPageWikiLink Citeseer.
- Communicating_sequential_processes wikiPageWikiLink Common_Algebraic_Specification_Language.
- Communicating_sequential_processes wikiPageWikiLink Computer_science.
- Communicating_sequential_processes wikiPageWikiLink Concurrency_(computer_science).
- Communicating_sequential_processes wikiPageWikiLink Concurrent_systems.
- Communicating_sequential_processes wikiPageWikiLink DASA.
- Communicating_sequential_processes wikiPageWikiLink DaimlerChrysler_Aerospace.
- Communicating_sequential_processes wikiPageWikiLink Deadlock.
- Communicating_sequential_processes wikiPageWikiLink Denotational_semantics.
- Communicating_sequential_processes wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- Communicating_sequential_processes wikiPageWikiLink DirectShow.
- Communicating_sequential_processes wikiPageWikiLink DirectX.
- Communicating_sequential_processes wikiPageWikiLink Divergence_(computer_science).
- Communicating_sequential_processes wikiPageWikiLink Ease_(programming_language).
- Communicating_sequential_processes wikiPageWikiLink Ease_programming_language.
- Communicating_sequential_processes wikiPageWikiLink FDR2.
- Communicating_sequential_processes wikiPageWikiLink Formal_language.
- Communicating_sequential_processes wikiPageWikiLink Formal_specification.
- Communicating_sequential_processes wikiPageWikiLink Functional_programming.
- Communicating_sequential_processes wikiPageWikiLink Functional_programming_language.
- Communicating_sequential_processes wikiPageWikiLink Go_(programming_language).
- Communicating_sequential_processes wikiPageWikiLink Google.
- Communicating_sequential_processes wikiPageWikiLink Haskell_(programming_language).
- Communicating_sequential_processes wikiPageWikiLink History_monoid.
- Communicating_sequential_processes wikiPageWikiLink Inferno_(operating_system).
- Communicating_sequential_processes wikiPageWikiLink output_automaton.
- Communicating_sequential_processes wikiPageWikiLink Interaction.
- Communicating_sequential_processes wikiPageWikiLink JCSP.
- Communicating_sequential_processes wikiPageWikiLink Java_(programming_language).
- Communicating_sequential_processes wikiPageWikiLink Jim_Davies_(computer_scientist).
- Communicating_sequential_processes wikiPageWikiLink Joyce_(programming_language).
- Communicating_sequential_processes wikiPageWikiLink Labelled_transition_system.
- Communicating_sequential_processes wikiPageWikiLink Language_Of_Temporal_Ordering_Specification.
- Communicating_sequential_processes wikiPageWikiLink Limbo_(programming_language).
- Communicating_sequential_processes wikiPageWikiLink Linear_Temporal_Logic.
- Communicating_sequential_processes wikiPageWikiLink Linear_temporal_logic.
- Communicating_sequential_processes wikiPageWikiLink Macro_(computer_science).
- Communicating_sequential_processes wikiPageWikiLink Message_passing.
- Communicating_sequential_processes wikiPageWikiLink Model_checker.
- Communicating_sequential_processes wikiPageWikiLink Model_checking.
- Communicating_sequential_processes wikiPageWikiLink National_University_of_Singapore.
- Communicating_sequential_processes wikiPageWikiLink Needham-Schroeder_protocol.
- Communicating_sequential_processes wikiPageWikiLink Needham–Schroeder_protocol.
- Communicating_sequential_processes wikiPageWikiLink Non-blocking_algorithm.
- Communicating_sequential_processes wikiPageWikiLink Nondeterministic_algorithm.
- Communicating_sequential_processes wikiPageWikiLink Object-Z.
- Communicating_sequential_processes wikiPageWikiLink Object_Z.
- Communicating_sequential_processes wikiPageWikiLink Occam_(programming_language).
- Communicating_sequential_processes wikiPageWikiLink Occam_programming_language.
- Communicating_sequential_processes wikiPageWikiLink OpenComRTOS.
- Communicating_sequential_processes wikiPageWikiLink Operational_semantics.
- Communicating_sequential_processes wikiPageWikiLink Oxford_University_Computing_Laboratory.
- Communicating_sequential_processes wikiPageWikiLink Pattern.