About: Communicating sequential processes

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Formal language for concurrent systems

Property	Value
dbo:description	формальна мова для паралельних систем (uk) formal language for concurrent systems (en) formelt språk for synkroniserte system (nn) формальный язык описания их взаимодействия (ru)
dbo:wikiPageExternalLink	https://github.com/complex-system/Communicating-Sequential-Processes https://dx.doi.org/10.1007/BF01178564 http://citeseer.ist.psu.edu/articles.html http://www.wotug.org/ http://citeseer.comp.nus.edu.sg/61363.html http://www.compass-research.eu/approach.html http://www.principia-m.com/syncstitch/ https://web.archive.org/web/20110514085953/http:/www.wotug.org/paperdb/show_pap.php%3Ff=1&num=394 https://web.archive.org/web/20110514085958/http:/www.wotug.org/paperdb/show_pap.php%3Ff=1&num=395 https://web.archive.org/web/20110514234220/http:/www.comp.nus.edu.sg/~dongjs/tcoz.html https://web.archive.org/web/20110514234221/http:/www.cs.swan.ac.uk/~csmarkus/Papers/cspcasl.ps https://web.archive.org/web/20110514234221/http:/www.cs.york.ac.uk/circus/ https://link.springer.com/chapter/10.1007/978-3-319-05032-4_25 http://citeseerx.ist.psu.edu/search%3Fq=communicating+sequential+processes&submit=Search&sort=rlv&t=doc http://web.comlab.ox.ac.uk/oucl/publications/books/concurrency/ http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/68b.pdf http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/68b.ps http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/pubs.html http://www.usingcsp.com/ https://archive.org/details/theorypracticeof00rosc
dbo:wikiPageWikiLink	dbr:National_University_of_Singapore dbr:Syntactic_sugar dbr:RaftLib dbr:Process_calculus dbr:Microprocessor dbr:Clojure dbr:Formal_specification dbr:Electronic_component dbr:Macro_(computer_science) dbr:Parallel_programming_model dbr:Tony_Hoare dbr:Deadlock dbr:Needham–Schroeder_protocol dbr:Formal_language dbr:Functional_programming_language dbr:Occam_(programming_language) dbc:1978_in_computing dbr:Binary_decision_diagram dbr:Pattern dbr:Denotational_semantics dbr:Elizabeth_II dbr:DirectShow dbr:Trace_monoid dbr:Computer_science dbr:Go_(programming_language) dbr:Syntax dbr:Robin_Milner dbr:DirectX dbr:Unifying_Theories_of_Programming dbr:FDR2 dbr:Ease_programming_language dbr:Erlang_(programming_language) dbr:Ada_(programming_language) dbr:Message_passing dbr:Operational_semantics dbr:SuperPascal dbr:Trace_theory dbr:Unbounded_nondeterminism dbr:Actor_model dbc:Concurrent_computing dbr:Interaction dbr:Prentice_Hall dbc:Process_calculi dbr:Non-blocking_algorithm dbr:Inmos dbr:Divergence_(computer_science) dbr:Semantics dbr:Transputer dbr:Channel_(programming) dbr:Input/output_automaton dbr:OpenComRTOS dbc:Computer-related_introductions_in_1978 dbr:Limbo_(programming_language) dbr:Algebraic_semantics_(computer_science) dbr:Common_Algebraic_Specification_Language dbr:Bill_Roscoe dbr:History_monoid dbr:Jim_Davies_(computer_scientist) dbr:Nondeterministic_algorithm dbr:System_of_systems dbr:RTOS dbr:Crystal_(programming_language) dbr:Joyce_(programming_language) dbr:Language_Of_Temporal_Ordering_Specification dbr:VerilogCSP dbr:Model_checker dbr:TLA+ dbr:The_University_of_Adelaide dbr:DaimlerChrysler_Aerospace dbr:Oxford_University_Computing_Laboratory dbr:Brinch_Hansen dbr:Linear_Temporal_Logic dbr:B_method dbr:Praxis_High_Integrity_Systems dbr:Process_calculi dbr:XC_programming_language dbr:Concurrent_systems dbr:Anna_Philippou dbr:Calculus_of_Communicating_Systems dbr:Citeseer dbr:Labelled_transition_system dbr:Object_Z dbr:VDM_specification_language dbr:Verilog_HDL dbr:Z_specification_language
dbp:date	2020-02-19 (xsd:date)
dbp:url	https://web.archive.org/web/20200219205126/http:/www.compass-research.eu/approach.html
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Expand_section dbt:Unreferenced_section dbt:Concurrent_computing dbt:Citation_needed dbt:Distinguish dbt:Mvar dbt:Webarchive dbt:Short_description
dct:subject	dbc:1978_in_computing dbc:Concurrent_computing dbc:Process_calculi dbc:Computer-related_introductions_in_1978
gold:hypernym	dbr:Language
rdf:type	owl:Thing owl:Thing
rdfs:label	Communicating sequential processes (en) Processos comunicants seqüencials (ca) Επικοινωνούσες Ακολουθιακές Διεργασίες (el) Comunicación de procesos secuenciales (es) Communicating Sequential Processes (de) Communicating sequential processes (fr) Communicating Sequential Processes (ja) 커뮤니케이팅 시퀜셜 프로세스 (ko) CSP (matemática) (pt) Communicating Sequential Processes (pl) Комунікуючі послідовні процеси (uk) Взаимодействующие последовательные процессы (ru) 通信顺序进程 (zh)
owl:differentFrom	dbr:Constraint_satisfaction_problem
owl:sameAs	yago-res:Communicating sequential processes freebase:Communicating sequential processes wikidata:Communicating sequential processes dbpedia-de:Communicating sequential processes dbpedia-fr:Communicating sequential processes dbpedia-zh:Communicating sequential processes dbpedia-ja:Communicating sequential processes dbpedia-pt:Communicating sequential processes dbpedia-es:Communicating sequential processes dbpedia-ru:Communicating sequential processes dbpedia-pl:Communicating sequential processes dbpedia-ko:Communicating sequential processes dbpedia-el:Communicating sequential processes dbpedia-ca:Communicating sequential processes dbpedia-hr:Communicating sequential processes dbpedia-uk:Communicating sequential processes dbpedia-global:Communicating sequential processes dbr:Communicating sequential processes
prov:wasDerivedFrom	wikipedia-en:Communicating_sequential_processes?oldid=1295356046&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Communicating_sequential_processes
is dbo:genre of	dbr:FDR_(software)
is dbo:influencedBy of	dbr:Occam_(programming_language)__occam__1 dbr:Newsqueak dbr:SuperPascal dbr:Limbo_(programming_language) dbr:Handel-C dbr:Concurrent_Euclid dbr:Joyce_(programming_language)
is dbo:knownFor of	dbr:Tony_Hoare dbr:G._Mike_Reed dbr:Bill_Roscoe dbr:Jim_Woodcock
is dbo:wikiPageDisambiguates of	dbr:CSP
is dbo:wikiPageRedirects of	dbr:Communicating_Sequential_Processes dbr:Communicating_Sequential_Processes dbr:Cooperating_sequential_processes
is dbo:wikiPageWikiLink of	dbr:Model_checking dbr:Calculus_of_communicating_systems dbr:Quasi-delay-insensitive_circuit dbr:ITMO_University dbr:Process_calculus dbr:Monitor_(synchronization) dbr:Clojure dbr:Formal_specification dbr:PL/0 dbr:Rendezvous_(Plan_9) dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:Parallel_programming_model dbr:Tony_Hoare dbr:List_of_programming_languages_by_type dbr:Pipeline_(Unix) dbr:Massively_parallel_processor_array dbr:Occam_(programming_language) dbr:Thread_(computing) dbr:Coroutine dbr:Concurrency_(computer_science) dbr:Vienna_Development_Method dbr:Cleanroom_software_engineering dbr:FDR_(software) dbr:Denotational_semantics dbr:MIL-STD-1553 dbr:Calculus_of_broadcasting_systems dbr:Impulse_C dbr:PicoChip dbr:Concurrent_computing dbr:CSP dbr:List_of_programmers dbr:Newsqueak dbr:Go_(programming_language) dbr:Communication_protocol dbr:Per_Brinch_Hansen dbr:Dataflow dbr:Erlang_(programming_language) dbr:List_of_computing_and_IT_abbreviations dbr:Message_passing dbr:Synchronous_programming_language dbr:SuperPascal dbr:Actor_model dbr:Scala_(programming_language) dbr:Alef_(programming_language) dbr:John_Graham-Cumming dbr:Automata-based_programming_(Shalyto's_approach) dbr:Divergence_(computer_science) dbr:List_of_model_checking_tools dbr:TAPAs_model_checker dbr:Transputer dbr:JCSP dbr:Input/output_automaton dbr:List_of_C-family_programming_languages dbr:OpenComRTOS dbr:Limbo_(programming_language) dbr:Algebra_of_communicating_processes dbr:Common_Algebraic_Specification_Language dbr:Bill_Roscoe dbr:History_monoid dbr:List_of_programming_language_researchers dbr:Michael_Butler_(computer_scientist) dbr:Michael_Hinchey dbr:Green_thread dbr:Handel-C dbr:Kahn_process_networks dbr:Programming_language_theory dbr:Ease_(programming_language) dbr:List_of_computer_scientists dbr:Behavior_tree dbr:Construction_and_Analysis_of_Distributed_Processes dbr:Crystal_(programming_language) dbr:Joyce_(programming_language) dbr:Michael_Goldsmith_(computer_scientist) dbr:STC104 dbr:Communicating_Sequential_Processes dbr:Flix_(programming_language) dbr:Dansk_Datamatik_Center dbr:TLA+ dbr:List_of_important_publications_in_theoretical_computer_science dbr:Cooperating_sequential_processes
is dbp:influencedBy of	dbr:Occam_(programming_language) dbr:Newsqueak dbr:SuperPascal dbr:Limbo_(programming_language) dbr:Handel-C dbr:Concurrent_Euclid dbr:Joyce_(programming_language)
is dbp:knownFor of	dbr:G._Mike_Reed dbr:Bill_Roscoe dbr:Jim_Woodcock
is dbp:paradigms of	dbr:Ease_(programming_language)
is rdfs:seeAlso of	dbr:Divergence_(computer_science)
is owl:differentFrom of	dbr:Constraint_satisfaction_problem
is foaf:primaryTopic of	wikipedia-en:Communicating_sequential_processes