Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Communicating_sequential_processes> ?p ?o }
- Communicating_sequential_processes wikiPageWikiLink Per_Brinch_Hansen.
- Communicating_sequential_processes wikiPageWikiLink Plan_9_from_Bell_Labs.
- Communicating_sequential_processes wikiPageWikiLink Plan_9_from_User_Space.
- Communicating_sequential_processes wikiPageWikiLink Praxis_High_Integrity_Systems.
- Communicating_sequential_processes wikiPageWikiLink Prentice_Hall.
- Communicating_sequential_processes wikiPageWikiLink Process_calculi.
- Communicating_sequential_processes wikiPageWikiLink Process_calculus.
- Communicating_sequential_processes wikiPageWikiLink RTOS.
- Communicating_sequential_processes wikiPageWikiLink Real-time_operating_system.
- Communicating_sequential_processes wikiPageWikiLink Robin_Milner.
- Communicating_sequential_processes wikiPageWikiLink Semantics.
- Communicating_sequential_processes wikiPageWikiLink SuperPascal.
- Communicating_sequential_processes wikiPageWikiLink Syntactic_sugar.
- Communicating_sequential_processes wikiPageWikiLink Syntax.
- Communicating_sequential_processes wikiPageWikiLink SystemVerilog.
- Communicating_sequential_processes wikiPageWikiLink SystemVerilogCSP.
- Communicating_sequential_processes wikiPageWikiLink System_of_systems.
- Communicating_sequential_processes wikiPageWikiLink The_University_of_Adelaide.
- Communicating_sequential_processes wikiPageWikiLink Tony_Hoare.
- Communicating_sequential_processes wikiPageWikiLink Trace_monoid.
- Communicating_sequential_processes wikiPageWikiLink Trace_theory.
- Communicating_sequential_processes wikiPageWikiLink Transition_system.
- Communicating_sequential_processes wikiPageWikiLink Transputer.
- Communicating_sequential_processes wikiPageWikiLink Unbounded_nondeterminism.
- Communicating_sequential_processes wikiPageWikiLink Unifying_Theories_of_Programming.
- Communicating_sequential_processes wikiPageWikiLink University_of_Adelaide.
- Communicating_sequential_processes wikiPageWikiLink VDM_specification_language.
- Communicating_sequential_processes wikiPageWikiLink Verilog.
- Communicating_sequential_processes wikiPageWikiLink VerilogCSP.
- Communicating_sequential_processes wikiPageWikiLink Verilog_HDL.
- Communicating_sequential_processes wikiPageWikiLink Vienna_Development_Method.
- Communicating_sequential_processes wikiPageWikiLink Wright_(ADL).
- Communicating_sequential_processes wikiPageWikiLink XC_(programming_language).
- Communicating_sequential_processes wikiPageWikiLink XC_Programming_Language.
- Communicating_sequential_processes wikiPageWikiLink XMOS.
- Communicating_sequential_processes wikiPageWikiLink Z_notation.
- Communicating_sequential_processes wikiPageWikiLink Z_specification_language.
- Communicating_sequential_processes wikiPageWikiLinkText "''Communicating Sequential Processes''".
- Communicating_sequential_processes wikiPageWikiLinkText "CSP".
- Communicating_sequential_processes wikiPageWikiLinkText "Communicating Sequential Processes".
- Communicating_sequential_processes wikiPageWikiLinkText "Communicating sequential processes (CSP)".
- Communicating_sequential_processes wikiPageWikiLinkText "Communicating sequential processes".
- Communicating_sequential_processes wikiPageWikiLinkText "channel".
- Communicating_sequential_processes wikiPageWikiLinkText "communicating sequential processes".
- Communicating_sequential_processes hasPhotoCollection Communicating_sequential_processes.
- Communicating_sequential_processes wikiPageUsesTemplate Template:Cite_book.
- Communicating_sequential_processes wikiPageUsesTemplate Template:Expand_section.
- Communicating_sequential_processes wikiPageUsesTemplate Template:Reflist.
- 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 hypernym Language.
- Communicating_sequential_processes type Agent.
- Communicating_sequential_processes type Article.
- Communicating_sequential_processes type Language.
- Communicating_sequential_processes type Model.
- Communicating_sequential_processes type Person.
- Communicating_sequential_processes type Article.
- Communicating_sequential_processes type Language.
- Communicating_sequential_processes type Model.
- Communicating_sequential_processes type Person.
- Communicating_sequential_processes type Agent.
- Communicating_sequential_processes type NaturalPerson.
- Communicating_sequential_processes type Thing.
- Communicating_sequential_processes type Q215627.
- Communicating_sequential_processes type Q5.
- 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 "Communicating sequential processes".
- Communicating_sequential_processes sameAs Processos_comunicants_seqüencials.
- 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 Slijedni_priopćajni_postupci.
- 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 Взаємодія_послідовних_процесів.
- Communicating_sequential_processes sameAs Q1120460.
- Communicating_sequential_processes sameAs Q1120460.
- Communicating_sequential_processes sameAs 交談循序程式.
- Communicating_sequential_processes wasDerivedFrom Communicating_sequential_processes?oldid=675400162.
- Communicating_sequential_processes isPrimaryTopicOf Communicating_sequential_processes.