Communicating Sequential Processes
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/06/28 04:45 UTC 版)
Communicating Sequential Processes（CSP）とは、並行性に関するプロセス計算の理論のひとつである[1]。プログラミング言語Occamにも影響を与えた[2][1]。
- ^ a b c d Roscoe, A. W. (1997年). The Theory and Practice of Concurrency. Prentice Hall. ISBN 0-13-674409-5
- ^ INMOS (1995年5月12日). occam 2.1 Reference Manual. SGS-THOMSON Microelectronics Ltd., INMOS document 72 occ 45 03
- ^ a b Hoare, C. A. R. (1978年). “Communicating sequential processes”. Communications of the ACM 21 (8): 666-677. doi:10.1145/359576.359585.
- ^ a b Barrett, G. (1995年). “Model checking in practice: The T9000 Virtual Channel Processor”. IEEE Transactions on Software Engineering 21 (2): 69-78. doi:10.1109/32.345823.
- ^ a b Hall, A; R. Chapman (2002年). “Correctness by construction: Developing a commercial secure system”. IEEE Software 19 (1): 18-25.
- ^ Creese, S. (2001年). Data Independent Induction: CSP Model Checking of Arbitrary Sized Networks. D. Phil.. Oxford University.
- ^ a b Hoare, C. A. R.. Communicating Sequential Processes. Prentice Hall. ISBN 0-13-153289-8
- この本はオックスフォード大学コンピュータ研究所の Jim Davis が改版しており、新版は Using CSP というサイトでPDF形式でダウンロード可能。
- ^ William Clinger (1981年6月). Foundations of Actor Semantics. Mathematics Doctoral Dissertation. MIT.
- ^ Brookes, Stephen; C. A. R. Hoare and A. W. Roscoe (1984年). “A Theory of Communicating Sequential Processes”. Journal of the ACM 31 (3): 560-599. doi:10.1145/828.833.
- ^ 計算機科学では、計算が終了しないか、例外的な状態で終了する場合、その計算は発散すると言われる、そうでない場合は収束すると言われる。プロセス計算など、計算が無限に続くことが予想される領域では、計算が生産的でない場合（すなわち、有限の時間内に行動を生み出し続けることができない場合）に、計算が発散すると言われる。
- ^ Buth, B.; Kouvaras, M.; Peleska, J.; Shi, H. (December 1997). "Deadlock analysis for a fault-tolerant system". Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology (AMAST’97). pp. 60–75.
- ^ Buth, B.; Peleska, J.; Shi, H. (January 1999). "Combining methods for the livelock analysis of a fault-tolerant system". Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology (AMAST’98). pp. 124–139.
- ^ Lowe, G. (1996). "Breaking and fixing the Needham-Schroeder public-key protocol using FDR". Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer-Verlag. pp. 147–166.
- ^ Scattergood, J.B. (1998年). The Semantics and Implementation of Machine-Readable CSP. D.Phil.. Oxford University Computing Laboratory.
- ^ A.W. Roscoe (1994年). Model-checking CSP. In A Classical Mind: essays in Honour of C.A.R. Hoare. Prentice Hall.
[続きの解説]
「Communicating Sequential Processes」の続きの解説一覧
- 1 Communicating Sequential Processesとは
- 2 Communicating Sequential Processesの概要
- 3 形式的定義
- 4 応用
- 5 ツール
- 6 外部リンク
- Communicating Sequential Processesのページへのリンク
