IBM DeveloperIBM Developer is your one-stop location for getting hands-on training and learning in-demand skills on relevant technologies such as generative AI, data science, AI, and open source.
Google Scholar
CAR Hoare - Communications of the ACM, 1978 - dl.acm.org This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program …
Communicating Sequential Processes - Wikipedia
Communicating Sequential Processes（CSP）ã¨ã¯ã€ä¸¦è¡Œæ€§ã«é–¢ã™ã‚‹ãƒ—ãƒã‚»ã‚¹è¨ˆç®—ã®ç†è«–ã®ã²ã¨ã¤ã§ã‚ã‚‹[1]。プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžOccamã«ã‚‚影響を与ãˆãŸ[2][1]。 CSPã¯1978å¹´ã€ã‚¢ãƒ³ãƒˆãƒ‹ãƒ¼ãƒ»ãƒ›ãƒ¼ã‚¢ãŒæœ€åˆã«è€ƒæ¡ˆã—[3]ã€ãã®å¾Œã‹ãªã‚Šæ”¹è‰¯ã•ã‚Œã¦ã„ã£ãŸã€‚CSPã¯æ§˜ã€…ãªã‚·ã‚¹ãƒ†ãƒ ã«ãŠã‘る並行性を記述ã—検証ã™ã‚‹ã€å½¢å¼ä»•æ§˜è¨˜è¿°ãƒ„ールã¨ã—ã¦ç”£æ¥ã§åˆ©ç”¨ã•ã‚Œã¦ããŸã€‚ãŸã¨ãˆã°ã€T9000トランスピュータ[4]ã‚„ã‚»ã‚ュアãªé›»å商å–引システム[5]ãªã©ã®ä¾‹ãŒã‚る。ç†è«–ã¨ã—ã¦ã‚‚ã€å¿œç”¨ç¯„囲を広ã’る（より大è¦æ¨¡ãªã‚·ã‚¹ãƒ†ãƒ ã®è§£æžã«ä½¿ãˆã‚‹ã‚ˆã†ã«ã™ã‚‹[6]）ãªã©ã®ç ”究ãŒè¡Œã‚ã‚Œã¦ã„る。 ホーアã®1978å¹´ã®è«–æ–‡ã§æ示ã•ã‚ŒãŸCSPã¯ã€ãƒ—ãƒã‚»ã‚¹è¨ˆç®—ã¨ã„ã†ã‚ˆã‚Šã‚‚本質的ã«ã¯ä¸¦è¡Œãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã‚ã£ãŸã€‚後ã®CSPã¨ã¯æ§‹æ–‡ãŒè‘—ã—ãç•°ãªã‚Šã€æ•°å¦çš„ã«å®šç¾©ã•ã‚ŒãŸæ„味論をæŒã£ã¦ãŠã‚‰ãš[7]ã€ç„¡åˆ¶é™ã®éžæ±ºå®š
CSP-Consortiam　CSPã¨ã¯
CSPã¨ã¯Communicating Sequential Processesã®è¨³ã§Oxford大å¦ã®Tony HoareãŒ1979å¹´ã«è€ƒæ¡ˆã—ãŸã‚‚ã®ã§ã€ä¸¦åˆ—処ç†ã§å¿…è¦ã¨ã•ã‚Œã‚‹åŸºæœ¬çš„ãªå‹•ä½œã‚’記述ã™ã‚‹ãƒ—ãƒã‚»ã‚¹ä»£æ•°ã§ã™ã€‚詳ã—ãã¯Wikiã®ã‚µã‚¤ãƒˆã«è¨˜è¼‰ã•ã‚Œã¦ã„ã¾ã™ã€‚CSPモデルã«åŸºã¥ã並列処ç†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžoccamã¯1980年代åˆã‚ã«è€ƒæ¡ˆã•ã‚Œã€ãƒãƒ¼ãƒ‰ã‚¦ã‚§ã‚¢ã¨ã—ã¦TransputerãŒä½œã‚‰ã‚Œã¾ã—ãŸã€‚TransputerãŒç„¡ããªã£ãŸä»Šã§ã‚‚ã€occamã®æ€æƒ³ã¯C,C#,C++,Java,Haskell,Python, Handel-C, XCãªã©å¤šãã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã«CSPモデルãŒãƒ©ã‚¤ãƒ–ラリã¨ã—ã¦æº–å‚™ã•ã‚Œã¾ã—ãŸã€‚従ã£ã¦é€šå¸¸ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ç’°å¢ƒã§ã‚‚CSPモデルã®æ©æµã‚’å—ã‘る事ãŒã§ãã¾ã™ã€‚ CSP/occamã®ãƒ—ãƒã‚»ã‚¹ãƒ¢ãƒ‡ãƒ«ã¯ä»¥ä¸‹ã®æ§˜ã«è¡¨ã‚ã™äº‹ãŒã§ãã¾ã™ã€‚丸ã„å°ãŒãƒ—ãƒã‚»ã‚¹ã€çŸ¢å°ãŒé€šä¿¡ãƒãƒ£ãƒãƒ«ã‚’表ã‚
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}