Communicating Sequential Processes (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Communicating Sequential Processes" in Japanese language version.

refsWebsite

Global rank Japanese rank

2^nd place

6^th place

low place

low place

415^th place

1,150^th place

207^th place

1,812^th place

anthonyhall.org

Hoare, C. A. R. (1978年). “Communicating sequential processes”. Communications of the ACM 21 (8): 666-677. doi:10.1145/359576.359585.
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.
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.

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.