This HTML5 document contains 95 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n27http://www.uoguelph.ca/%7Egardnerw/csp++/
n31http://www.cs.kent.ac.uk/projects/ofa/jcsp/
n18http://www.axon7.com/
dcthttp://purl.org/dc/terms/
template-jahttp://ja.dbpedia.org/resource/Template:
n4http://www.cs.swan.ac.uk/~csmarkus/Papers/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n16http://www.ce.utwente.nl/javapp/
n28http://www.wotug.org/
n8http://www.cliki.net/
n9http://citeseer.comp.nus.edu.sg/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n19http://www.cppcsp.net/
freebasehttp://rdf.freebase.com/ns/
n13http://www.cs.york.ac.uk/circus/
n20http://www.comp.nus.edu.sg/~dongjs/
n10http://ja.dbpedia.org/resource/PL/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n15http://www.fsel.com/
owlhttp://www.w3.org/2002/07/owl#
n6http://ja.dbpedia.org/resource/Category:
n29http://jungfrau.usc.edu/new/research/current/verilogcsp/
wikipedia-jahttp://ja.wikipedia.org/wiki/
n7https://doi.org/10.1007/
provhttp://www.w3.org/ns/prov#
n30http://www.cs.cmu.edu/afs/cs/project/able/www/wright/
xsdhhttp://www.w3.org/2001/XMLSchema#
n23http://citeseer.ist.psu.edu/
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-jahttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q1120460
owl:sameAs
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:CSP
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
dbo:wikiPageDisambiguates
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:Communicating_Sequential_Processes
rdfs:label
Communicating Sequential Processes
rdfs:comment
Communicating Sequential Processes(CSP)とは、並行性に関するプロセス計算の理論のひとつである。プログラミング言語Occamにも影響を与えた。 CSPは1978年、アントニー・ホーアが最初に考案し、その後かなり改良されていった。CSPは様々なシステムにおける並行性を記述し検証する、形式仕様記述ツールとして産業で利用されてきた。たとえば、T9000トランスピュータやセキュアな電子商取引システムなどの例がある。理論としても、応用範囲を広げる(より大規模なシステムの解析に使えるようにする)などの研究が行われている。
owl:sameAs
freebase:m.01ksbf
dct:subject
n6:計算モデル n6:長大な項目名 n6:並行性 n6:形式手法
dbo:wikiPageID
1426970
dbo:wikiPageRevisionID
91923592
dbo:wikiPageWikiLink
dbpedia-ja:表示的意味論 dbpedia-ja:無制限の非決定性 dbpedia-ja:国際宇宙ステーション dbpedia-ja:Z言語 dbpedia-ja:プロセス計算 dbpedia-ja:1978年 dbpedia-ja:関数型言語 n6:計算モデル dbpedia-ja:Common_Algebraic_Specification_Language dbpedia-ja:インターリーブ dbpedia-ja:アントニー・ホーア dbpedia-ja:並行性 dbpedia-ja:ロビン・ミルナー dbpedia-ja:Occam n6:形式手法 dbpedia-ja:モデル検査 dbpedia-ja:Common_Lisp dbpedia-ja:メッセージ_(コンピュータ) dbpedia-ja:Plan_9_from_Bell_Labs dbpedia-ja:デッドロック dbpedia-ja:操作的意味論 dbpedia-ja:計算機科学 dbpedia-ja:プログラム意味論 n6:長大な項目名 dbpedia-ja:トランスピュータ dbpedia-ja:代数的意味論 n6:並行性 dbpedia-ja:形式仕様記述 dbpedia-ja:スーパースケーラ dbpedia-ja:Inferno_(オペレーティングシステム) dbpedia-ja:C言語 dbpedia-ja:C++ dbpedia-ja:同期_(計算機科学) dbpedia-ja:Verilog dbpedia-ja:Java dbpedia-ja:Limbo_(プログラミング言語)
dbo:wikiPageExternalLink
n4:cspcasl.ps n7:BF01178564 n8:csp n9:61363.html n13: n15: n16:Default.htm n18: n19: n20:tcoz.html n23:articles.html n27:index.html n28: n29:index.html n30: n31:
prop-ja:wikiPageUsesTemplate
template-ja:Reflist template-ja:節スタブ template-ja:仮リンク
dbo:abstract
Communicating Sequential Processes(CSP)とは、並行性に関するプロセス計算の理論のひとつである。プログラミング言語Occamにも影響を与えた。 CSPは1978年、アントニー・ホーアが最初に考案し、その後かなり改良されていった。CSPは様々なシステムにおける並行性を記述し検証する、形式仕様記述ツールとして産業で利用されてきた。たとえば、T9000トランスピュータやセキュアな電子商取引システムなどの例がある。理論としても、応用範囲を広げる(より大規模なシステムの解析に使えるようにする)などの研究が行われている。
dbo:wikiPageLength
16586
prov:wasDerivedFrom
wikipedia-ja:Communicating_Sequential_Processes?oldid=91923592&ns=0
foaf:isPrimaryTopicOf
wikipedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:Crystal_(プログラミング言語)
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:Go_(プログラミング言語)
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:Limbo_(プログラミング言語)
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:Occam
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
n10:0
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:SFL
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:アントニー・ホーア
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
prop-ja:knownFor
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:トランスピュータ
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:プログラミング言語の比較
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:プロセス計算
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:プロセス間通信
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:ホーア論理
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:マートン・カレッジ_(オックスフォード大学)
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:ラムダ計算
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:並列計算
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:並行性
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:並行計算
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:並行論理プログラミング
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:形式手法
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:表示的意味論
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
dbpedia-ja:Communicating_Sequential_Process
dbo:wikiPageWikiLink
dbpedia-ja:Communicating_Sequential_Processes
dbo:wikiPageRedirects
dbpedia-ja:Communicating_Sequential_Processes
Subject Item
wikipedia-ja:Communicating_Sequential_Processes
foaf:primaryTopic
dbpedia-ja:Communicating_Sequential_Processes