Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Communicating_sequential_processes> ?p ?o. }
Showing items 1 to 57 of
57
with 100 items per page.
- 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 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 clojure-core-async-channels.html.
- Communicating_sequential_processes wikiPageExternalLink BF01178564.
- 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 cspcasl.ps.
- Communicating_sequential_processes wikiPageExternalLink circus.
- Communicating_sequential_processes wikiPageExternalLink www.usingcsp.com.
- 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 LuaCSP.
- Communicating_sequential_processes wikiPageID "247370".
- Communicating_sequential_processes wikiPageRevisionID "605517559".
- Communicating_sequential_processes hasPhotoCollection Communicating_sequential_processes.
- Communicating_sequential_processes subject Category:1978_in_computer_science.
- Communicating_sequential_processes subject Category:1978_introductions.
- Communicating_sequential_processes subject Category:Concurrent_computing.
- Communicating_sequential_processes subject Category:Process_calculi.
- Communicating_sequential_processes type Agent.
- Communicating_sequential_processes type Person.
- Communicating_sequential_processes type Person.
- Communicating_sequential_processes type Q215627.
- Communicating_sequential_processes type Q5.
- Communicating_sequential_processes type Agent.
- Communicating_sequential_processes type NaturalPerson.
- Communicating_sequential_processes type Thing.
- Communicating_sequential_processes type Person.
- Communicating_sequential_processes comment "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.".
- Communicating_sequential_processes label "CSP (matemática)".
- Communicating_sequential_processes label "Communicating Sequential Processes".
- Communicating_sequential_processes label "Communicating Sequential Processes".
- Communicating_sequential_processes label "Communicating Sequential Processes".
- Communicating_sequential_processes label "Communicating sequential processes".
- Communicating_sequential_processes label "Communicating sequential processes".
- Communicating_sequential_processes label "Comunicación de procesos secuenciales".
- Communicating_sequential_processes label "交談循序程式".
- Communicating_sequential_processes sameAs Communicating_Sequential_Processes.
- Communicating_sequential_processes sameAs Επικοινωνούσες_Ακολουθιακές_Διεργασίες.
- Communicating_sequential_processes sameAs Comunicación_de_procesos_secuenciales.
- Communicating_sequential_processes sameAs Communicating_sequential_processes.
- Communicating_sequential_processes sameAs Communicating_Sequential_Processes.
- Communicating_sequential_processes sameAs 커뮤니케이팅_시퀜셜_프로세스.
- Communicating_sequential_processes sameAs Communicating_Sequential_Processes.
- Communicating_sequential_processes sameAs CSP_(matemática).
- Communicating_sequential_processes sameAs m.01ksbf.
- Communicating_sequential_processes sameAs Q1120460.
- Communicating_sequential_processes sameAs Q1120460.
- Communicating_sequential_processes wasDerivedFrom Communicating_sequential_processes?oldid=605517559.
- Communicating_sequential_processes isPrimaryTopicOf Communicating_sequential_processes.