| Property |
Value |
| dbo:abstract
|
- Communicating Sequential Processes（CSP）とは、並行性に関するプロセス計算の理論のひとつである。プログラミング言語Occamにも影響を与えた。 CSPは1978年、アントニー・ホーアが最初に考案し、その後かなり改良されていった。CSPは様々なシステムにおける並行性を記述し検証する、形式仕様記述ツールとして産業で利用されてきた。たとえば、T9000トランスピュータやセキュアな電子商取引システムなどの例がある。理論としても、応用範囲を広げる（より大規模なシステムの解析に使えるようにする）などの研究が行われている。 (ja)
- Communicating Sequential Processes（CSP）とは、並行性に関するプロセス計算の理論のひとつである。プログラミング言語Occamにも影響を与えた。 CSPは1978年、アントニー・ホーアが最初に考案し、その後かなり改良されていった。CSPは様々なシステムにおける並行性を記述し検証する、形式仕様記述ツールとして産業で利用されてきた。たとえば、T9000トランスピュータやセキュアな電子商取引システムなどの例がある。理論としても、応用範囲を広げる（より大規模なシステムの解析に使えるようにする）などの研究が行われている。 (ja)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 16586 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-en:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- Communicating Sequential Processes（CSP）とは、並行性に関するプロセス計算の理論のひとつである。プログラミング言語Occamにも影響を与えた。 CSPは1978年、アントニー・ホーアが最初に考案し、その後かなり改良されていった。CSPは様々なシステムにおける並行性を記述し検証する、形式仕様記述ツールとして産業で利用されてきた。たとえば、T9000トランスピュータやセキュアな電子商取引システムなどの例がある。理論としても、応用範囲を広げる（より大規模なシステムの解析に使えるようにする）などの研究が行われている。 (ja)
- Communicating Sequential Processes（CSP）とは、並行性に関するプロセス計算の理論のひとつである。プログラミング言語Occamにも影響を与えた。 CSPは1978年、アントニー・ホーアが最初に考案し、その後かなり改良されていった。CSPは様々なシステムにおける並行性を記述し検証する、形式仕様記述ツールとして産業で利用されてきた。たとえば、T9000トランスピュータやセキュアな電子商取引システムなどの例がある。理論としても、応用範囲を広げる（より大規模なシステムの解析に使えるようにする）などの研究が行われている。 (ja)
|
| rdfs:label
|
- Communicating Sequential Processes (ja)
- Communicating Sequential Processes (ja)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-en:knownFor
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
