Communicating sequential processes (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Communicating sequential processes" in French language version.

refsWebsite

Global rank French rank

2^nd place

3^rd place

70^th place

196^th place

low place

anthonyhall.org

(en) A Hall et R. Chapman, « Correctness by construction: Developing a commercial secure system », IEEE Software, vol. 19, n^o 1,‎ 2002, p. 18–25 (DOI 10.1109/52.976937, lire en ligne [PDF])

(en) C. A. R. Hoare, « Communicating sequential processes », Communications of the ACM, vol. 21, n^o 8,‎ 1978, p. 666–677 (DOI 10.1145/359576.359585)
(en) G. Barrett, « Model checking in practice: The T9000 Virtual Channel Processor », IEEE Transactions on Software Engineering, vol. 21, n^o 2,‎ 1995, p. 69–78 (DOI 10.1109/32.345823).
(en) A Hall et R. Chapman, « Correctness by construction: Developing a commercial secure system », IEEE Software, vol. 19, n^o 1,‎ 2002, p. 18–25 (DOI 10.1109/52.976937, lire en ligne [PDF])

(en) A. W. Roscoe, The Theory and Practice of Concurrency, New York, Prentice Hall, 1997, 565 p., poche (ISBN 978-0-13-674409-2, LCCN 97031217)