Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Communicating sequential processes
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
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
http://www.usingcsp.com/
https://archive.org/details/theorypracticeof00rosc
http://citeseer.comp.nus.edu.sg/61363.html
http://www.compass-research.eu/approach.html
http://www.principia-m.com/syncstitch/
https://github.com/complex-system/Communicating-Sequential-Processes
http://citeseerx.ist.psu.edu/search%3Fq=communicating+sequential+processes&submit=Search&sort=rlv&t=doc
http://www.wotug.org/
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
https://dx.doi.org/10.1007/BF01178564
http://citeseer.ist.psu.edu/articles.html
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
dbo:
wikiPageWikiLink
dbr
:Ease_programming_language
dbr
:Semantics
dbr
:Process_calculus
dbr
:Functional_programming_language
dbr
:Syntax
dbr
:Message_passing
dbr
:Ada_(programming_language)
dbr
:Clojure
dbr
:Computer_science
dbr
:Crystal_(programming_language)
dbr
:Elizabeth_II
dbr
:Microprocessor
dbr
:National_University_of_Singapore
dbc
:Process_calculi
dbr
:Electronic_component
dbr
:Formal_language
dbr
:Go_(programming_language)
dbr
:Limbo_(programming_language)
dbr
:Erlang_(programming_language)
dbr
:Denotational_semantics
dbr
:Binary_decision_diagram
dbr
:Prentice_Hall
dbr
:Input/output_automaton
dbr
:Algebraic_semantics_(computer_science)
dbr
:Formal_specification
dbr
:Joyce_(programming_language)
dbr
:SuperPascal
dbr
:Deadlock
dbr
:RaftLib
dbr
:Trace_monoid
dbr
:System_of_systems
dbr
:Actor_model
dbr
:Bill_Roscoe
dbr
:Macro_(computer_science)
dbr
:Needham–Schroeder_protocol
dbr
:Occam_(programming_language)
dbr
:Robin_Milner
dbr
:Syntactic_sugar
dbr
:TLA+
dbr
:Tony_Hoare
dbr
:Transputer
dbr
:Pattern
dbr
:Inmos
dbr
:Non-blocking_algorithm
dbr
:Unifying_Theories_of_Programming
dbr
:OpenComRTOS
dbc
:Concurrent_computing
dbr
:DirectX
dbr
:Nondeterministic_algorithm
dbr
:DirectShow
dbr
:Operational_semantics
dbr
:Unbounded_nondeterminism
dbr
:Interaction
dbr
:Channel_(programming)
dbr
:Parallel_programming_model
dbr
:Divergence_(computer_science)
dbc
:1978_in_computing
dbr
:Jim_Davies_(computer_scientist)
dbr
:Common_Algebraic_Specification_Language
dbr
:Trace_theory
dbr
:History_monoid
dbr
:RTOS
dbr
:VerilogCSP
dbc
:Computer-related_introductions_in_1978
dbr
:DaimlerChrysler_Aerospace
dbr
:Oxford_University_Computing_Laboratory
dbr
:The_University_of_Adelaide
dbr
:Language_Of_Temporal_Ordering_Specification
dbr
:Citeseer
dbr
:Model_checker
dbr
:Process_calculi
dbr
:B_method
dbr
:FDR2
dbr
:Brinch_Hansen
dbr
:Labelled_transition_system
dbr
:Linear_Temporal_Logic
dbr
:XC_programming_language
dbr
:Calculus_of_Communicating_Systems
dbr
:Concurrent_systems
dbr
:Z_specification_language
dbr
:Praxis_High_Integrity_Systems
dbr
:VDM_specification_language
dbr
:Object_Z
dbr
:Verilog_HDL
dbr
:Anna_Philippou
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
:Concurrent_computing
dbt
:Citation_needed
dbt
:Expand_section
dbt
:Mvar
dbt
:Reflist
dbt
:Short_description
dbt
:Unreferenced_section
dbt
:Webarchive
dct:
subject
dbc
:Process_calculi
dbc
:Concurrent_computing
dbc
:1978_in_computing
dbc
:Computer-related_introductions_in_1978
gold:
hypernym
dbr
:Language
rdf:
type
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:
sameAs
freebase
:Communicating sequential processes
yago-res
:Communicating sequential processes
wikidata
:Communicating sequential processes
dbpedia-de
:Communicating sequential processes
dbpedia-es
:Communicating sequential processes
dbpedia-pl
:Communicating sequential processes
dbpedia-fr
:Communicating sequential processes
dbpedia-ja
:Communicating sequential processes
dbpedia-pt
:Communicating sequential processes
dbpedia-ru
:Communicating sequential processes
dbpedia-zh
:Communicating sequential processes
dbpedia-el
:Communicating sequential processes
dbpedia-ko
:Communicating sequential processes
dbpedia-ca
:Communicating sequential processes
dbpedia-hr
:Communicating sequential processes
dbpedia-uk
:Communicating sequential processes
dbpedia-global
:Communicating sequential processes
prov:
wasDerivedFrom
wikipedia-en
:Communicating_sequential_processes?oldid=1298111819&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Communicating_sequential_processes
is
dbo:
genre
of
dbr
:FDR_(software)
is
dbo:
influencedBy
of
dbr
:Handel-C
dbr
:Concurrent_Euclid
dbr
:Limbo_(programming_language)
dbr
:Joyce_(programming_language)
dbr
:SuperPascal
dbr
:Newsqueak
dbr
:Occam_(programming_language)__occam__1
is
dbo:
knownFor
of
dbr
:Jim_Woodcock
dbr
:Bill_Roscoe
dbr
:Tony_Hoare
dbr
:G._Mike_Reed
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
:List_of_computing_and_IT_abbreviations
dbr
:JCSP
dbr
:List_of_C-family_programming_languages
dbr
:Behavior_tree
dbr
:Process_calculus
dbr
:Construction_and_Analysis_of_Distributed_Processes
dbr
:List_of_computer_scientists
dbr
:Michael_Butler_(computer_scientist)
dbr
:List_of_programming_language_researchers
dbr
:CSP
dbr
:Handel-C
dbr
:Message_passing
dbr
:Clojure
dbr
:Crystal_(programming_language)
dbr
:Scala_(programming_language)
dbr
:Communication_protocol
dbr
:Coroutine
dbr
:Go_(programming_language)
dbr
:Limbo_(programming_language)
dbr
:Model_checking
dbr
:Erlang_(programming_language)
dbr
:Denotational_semantics
dbr
:PL/0
dbr
:Dataflow
dbr
:Vienna_Development_Method
dbr
:Input/output_automaton
dbr
:Formal_specification
dbr
:Joyce_(programming_language)
dbr
:SuperPascal
dbr
:Concurrency_(computer_science)
dbr
:Flix_(programming_language)
dbr
:FDR_(software)
dbr
:Alef_(programming_language)
dbr
:Newsqueak
dbr
:Actor_model
dbr
:Bill_Roscoe
dbr
:Calculus_of_communicating_systems
dbr
:Concurrent_computing
dbr
:Monitor_(synchronization)
dbr
:Occam_(programming_language)
dbr
:Per_Brinch_Hansen
dbr
:Pipeline_(Unix)
dbr
:TLA+
dbr
:Tony_Hoare
dbr
:Transputer
dbr
:Thread_(computing)
dbr
:Ease_(programming_language)
dbr
:List_of_programming_languages_by_type
dbr
:Cleanroom_software_engineering
dbr
:MIL-STD-1553
dbr
:ITMO_University
dbr
:OpenComRTOS
dbr
:Quasi-delay-insensitive_circuit
dbr
:Michael_Goldsmith_(computer_scientist)
dbr
:Dansk_Datamatik_Center
dbr
:Green_thread
dbr
:John_Graham-Cumming
dbr
:Rendezvous_(Plan_9)
dbr
:Synchronous_programming_language
dbr
:Kahn_process_networks
dbr
:Programming_language_theory
dbr
:Impulse_C
dbr
:Michael_Hinchey
dbr
:Parallel_programming_model
dbr
:Algebra_of_communicating_processes
dbr
:List_of_model_checking_tools
dbr
:List_of_programmers
dbr
:Divergence_(computer_science)
dbr
:STC104
dbr
:Massively_parallel_processor_array
dbr
:Common_Algebraic_Specification_Language
dbr
:TAPAs_model_checker
dbr
:List_of_terms_relating_to_algorithms_and_data_structures
dbr
:PicoChip
dbr
:History_monoid
dbr
:Communicating_Sequential_Processes
dbr
:Calculus_of_broadcasting_systems
dbr
:List_of_important_publications_in_theoretical_computer_science
dbr
:Automata-based_programming_(Shalyto's_approach)
dbr
:Cooperating_sequential_processes
is
dbp:
influencedBy
of
dbr
:Handel-C
dbr
:Concurrent_Euclid
dbr
:Limbo_(programming_language)
dbr
:Joyce_(programming_language)
dbr
:SuperPascal
dbr
:Newsqueak
dbr
:Occam_(programming_language)
is
dbp:
knownFor
of
dbr
:Jim_Woodcock
dbr
:Bill_Roscoe
dbr
:G._Mike_Reed
is
dbp:
paradigms
of
dbr
:Ease_(programming_language)
is
rdfs:
seeAlso
of
dbr
:Divergence_(computer_science)
is
owl:
differentFrom
of
dbr
:Producer–consumer_problem
dbr
:Constraint_satisfaction_problem
is
foaf:
primaryTopic
of
wikipedia-en
:Communicating_sequential_processes
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International