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-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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International