Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Communicating_sequential_processes> }
- Concurrent_Euclid influencedBy Communicating_sequential_processes.
- Go_(programming_language) influencedBy Communicating_sequential_processes.
- Handel-C influencedBy Communicating_sequential_processes.
- Joyce_(programming_language) influencedBy Communicating_sequential_processes.
- Limbo_(programming_language) influencedBy Communicating_sequential_processes.
- Newsqueak influencedBy Communicating_sequential_processes.
- Occam_(programming_language) influencedBy Communicating_sequential_processes.
- SuperPascal influencedBy Communicating_sequential_processes.
- XC_(programming_language) influencedBy Communicating_sequential_processes.
- Bill_Roscoe knownFor Communicating_sequential_processes.
- Tony_Hoare knownFor Communicating_sequential_processes.
- CSP wikiPageDisambiguates Communicating_sequential_processes.
- Communicating_Sequential_Processes wikiPageRedirects Communicating_sequential_processes.
- Actor_model wikiPageWikiLink Communicating_sequential_processes.
- Actor_model_and_process_calculi wikiPageWikiLink Communicating_sequential_processes.
- Actor_model_and_process_calculi_history wikiPageWikiLink Communicating_sequential_processes.
- Alef_(programming_language) wikiPageWikiLink Communicating_sequential_processes.
- Algebra_of_Communicating_Processes wikiPageWikiLink Communicating_sequential_processes.
- Automata-based_programming_(Shalytos_approach) wikiPageWikiLink Communicating_sequential_processes.
- BCS-FACS wikiPageWikiLink Communicating_sequential_processes.
- Behavior_tree wikiPageWikiLink Communicating_sequential_processes.
- Bill_Roscoe wikiPageWikiLink Communicating_sequential_processes.
- CSP wikiPageWikiLink Communicating_sequential_processes.
- Calculus_of_Broadcasting_Systems wikiPageWikiLink Communicating_sequential_processes.
- Calculus_of_communicating_systems wikiPageWikiLink Communicating_sequential_processes.
- Channel_(programming) wikiPageWikiLink Communicating_sequential_processes.
- Cleanroom_software_engineering wikiPageWikiLink Communicating_sequential_processes.
- Clojure wikiPageWikiLink Communicating_sequential_processes.
- Common_Algebraic_Specification_Language wikiPageWikiLink Communicating_sequential_processes.
- Communicating_Sequential_Processes wikiPageWikiLink Communicating_sequential_processes.
- Communications_protocol wikiPageWikiLink Communicating_sequential_processes.
- Concurrency_(computer_science) wikiPageWikiLink Communicating_sequential_processes.
- Concurrent_Euclid wikiPageWikiLink Communicating_sequential_processes.
- Concurrent_computing wikiPageWikiLink Communicating_sequential_processes.
- Construction_and_Analysis_of_Distributed_Processes wikiPageWikiLink Communicating_sequential_processes.
- Coroutine wikiPageWikiLink Communicating_sequential_processes.
- Dansk_Datamatik_Center wikiPageWikiLink Communicating_sequential_processes.
- David_May_(computer_scientist) wikiPageWikiLink Communicating_sequential_processes.
- Denotational_semantics wikiPageWikiLink Communicating_sequential_processes.
- Denotational_semantics_of_the_Actor_model wikiPageWikiLink Communicating_sequential_processes.
- Divergence_(computer_science) wikiPageWikiLink Communicating_sequential_processes.
- Ease_(programming_language) wikiPageWikiLink Communicating_sequential_processes.
- Erlang_(programming_language) wikiPageWikiLink Communicating_sequential_processes.
- FDR2 wikiPageWikiLink Communicating_sequential_processes.
- Flow-based_programming wikiPageWikiLink Communicating_sequential_processes.
- Formal_methods wikiPageWikiLink Communicating_sequential_processes.
- Formal_specification wikiPageWikiLink Communicating_sequential_processes.
- G._Mike_Reed wikiPageWikiLink Communicating_sequential_processes.
- Go_(programming_language) wikiPageWikiLink Communicating_sequential_processes.
- Green_threads wikiPageWikiLink Communicating_sequential_processes.
- Handel-C wikiPageWikiLink Communicating_sequential_processes.
- History_monoid wikiPageWikiLink Communicating_sequential_processes.
- Hoare_logic wikiPageWikiLink Communicating_sequential_processes.
- ITMO_University wikiPageWikiLink Communicating_sequential_processes.
- Impulse_C wikiPageWikiLink Communicating_sequential_processes.
- output_automaton wikiPageWikiLink Communicating_sequential_processes.
- Inter-process_communication wikiPageWikiLink Communicating_sequential_processes.
- JCSP wikiPageWikiLink Communicating_sequential_processes.
- JCSP_re wikiPageWikiLink Communicating_sequential_processes.
- Jim_Davies_(computer_scientist) wikiPageWikiLink Communicating_sequential_processes.
- Jim_Woodcock wikiPageWikiLink Communicating_sequential_processes.
- Joyce_(programming_language) wikiPageWikiLink Communicating_sequential_processes.
- Limbo_(programming_language) wikiPageWikiLink Communicating_sequential_processes.
- List_of_computer_scientists wikiPageWikiLink Communicating_sequential_processes.
- List_of_computing_and_IT_abbreviations wikiPageWikiLink Communicating_sequential_processes.
- List_of_important_publications_in_theoretical_computer_science wikiPageWikiLink Communicating_sequential_processes.
- List_of_model_checking_tools wikiPageWikiLink Communicating_sequential_processes.
- List_of_pioneers_in_computer_science wikiPageWikiLink Communicating_sequential_processes.
- List_of_programmers wikiPageWikiLink Communicating_sequential_processes.
- List_of_programming_languages wikiPageWikiLink Communicating_sequential_processes.
- List_of_programming_languages_by_type wikiPageWikiLink Communicating_sequential_processes.
- List_of_terms_relating_to_algorithms_and_data_structures wikiPageWikiLink Communicating_sequential_processes.
- MIL-STD-1553 wikiPageWikiLink Communicating_sequential_processes.
- Massively_parallel_processor_array wikiPageWikiLink Communicating_sequential_processes.
- Merton_College,_Oxford wikiPageWikiLink Communicating_sequential_processes.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Communicating_sequential_processes.
- Michael_Goldsmith_(computer_scientist) wikiPageWikiLink Communicating_sequential_processes.
- Michael_Hinchey wikiPageWikiLink Communicating_sequential_processes.
- Model_checking wikiPageWikiLink Communicating_sequential_processes.
- Monitor_(synchronization) wikiPageWikiLink Communicating_sequential_processes.
- Newsqueak wikiPageWikiLink Communicating_sequential_processes.
- Occam_(programming_language) wikiPageWikiLink Communicating_sequential_processes.
- OpenComRTOS wikiPageWikiLink Communicating_sequential_processes.
- PEPA wikiPageWikiLink Communicating_sequential_processes.
- 0 wikiPageWikiLink Communicating_sequential_processes.
- Parallel_computing wikiPageWikiLink Communicating_sequential_processes.
- Parallel_programming_model wikiPageWikiLink Communicating_sequential_processes.
- Per_Brinch_Hansen wikiPageWikiLink Communicating_sequential_processes.
- PicoChip wikiPageWikiLink Communicating_sequential_processes.
- Pipeline_(Unix) wikiPageWikiLink Communicating_sequential_processes.
- Prentice_Hall_International_Series_in_Computer_Science wikiPageWikiLink Communicating_sequential_processes.
- Process_calculus wikiPageWikiLink Communicating_sequential_processes.
- Programming_Research_Group wikiPageWikiLink Communicating_sequential_processes.
- Programming_language_theory wikiPageWikiLink Communicating_sequential_processes.
- Scala_(programming_language) wikiPageWikiLink Communicating_sequential_processes.
- SuperPascal wikiPageWikiLink Communicating_sequential_processes.
- Synchronous_programming_language wikiPageWikiLink Communicating_sequential_processes.
- System_programming_language wikiPageWikiLink Communicating_sequential_processes.
- TAPAs_model_checker wikiPageWikiLink Communicating_sequential_processes.
- Thread_(computing) wikiPageWikiLink Communicating_sequential_processes.