Теория взаимодействующих последовательных процессов (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Теория взаимодействующих последовательных процессов" in Russian language version.

refsWebsite

Global rank Russian rank

3web.archive.org

1^st place

1^st place

2^nd place

3^rd place

6^th place

9^th place

low place

low place

low place

low place

8,118^th place

3,004^th place

274^th place

350^th place

1anthonyhall.org

low place

low place

anthonyhall.org (Global: low place; Russian: low place)

Hall, A; Chapman, R. Correctness by construction: Developing a commercial secure system (англ.) // IEEE Software : journal. — 2002. — Vol. 19, no. 1. — P. 18—25. — doi:10.1109/52.976937. Архивировано 2 декабря 2020 года.

archive.org (Global: 6^th place; Russian: 9^th place)

Bill Roscoe. The Theory and Practice of Concurrency. — Prentice Hall, 1997. — ISBN 0-13-674409-5.

doi.org (Global: 2^nd place; Russian: 3^rd place)

dx.doi.org

C. A. R. Hoare. Communicating sequential processes (англ.) // Communications of the ACM. — 1978. — Vol. 21, no. 8. — P. 666—677. — doi:10.1145/359576.359585.
Barrett, G. Model checking in practice: The T9000 Virtual Channel Processor (англ.) // IEEE Transactions on Software Engineering : journal. — 1995. — Vol. 21, no. 2. — P. 69—78. — doi:10.1109/32.345823.
Hall, A; Chapman, R. Correctness by construction: Developing a commercial secure system (англ.) // IEEE Software : journal. — 2002. — Vol. 19, no. 1. — P. 18—25. — doi:10.1109/52.976937. Архивировано 2 декабря 2020 года.

golang.org (Global: 8,118^th place; Russian: 3,004^th place)

Language Design FAQ: Why build concurrency on the ideas of CSP? Дата обращения: 7 ноября 2015. Архивировано 2 января 2013 года.

springer.com (Global: 274^th place; Russian: 350^th place)

Abdallah, Ali E.; Jones, Cliff B.; Sanders, Jeff W. Communicating Sequential Processes: The First 25 Years (англ.). — Springer, 2005. — Vol. 3525. — (LNCS).

web.archive.org (Global: 1^st place; Russian: 1^st place)

INMOS^[англ.]. occam 2.1 Reference Manual. — SGS-Thompson Microelectronics Ltd., 1995. — [Архивировано 1 августа 2020 года.], INMOS document 72 occ 45 03
Language Design FAQ: Why build concurrency on the ideas of CSP? Дата обращения: 7 ноября 2015. Архивировано 2 января 2013 года.
Hall, A; Chapman, R. Correctness by construction: Developing a commercial secure system (англ.) // IEEE Software : journal. — 2002. — Vol. 19, no. 1. — P. 18—25. — doi:10.1109/52.976937. Архивировано 2 декабря 2020 года.

wikipedia.org (Global: low place; Russian: low place)

en.wikipedia.org

INMOS^[англ.]. occam 2.1 Reference Manual. — SGS-Thompson Microelectronics Ltd., 1995. — [Архивировано 1 августа 2020 года.], INMOS document 72 occ 45 03

wotug.org (Global: low place; Russian: low place)

INMOS^[англ.]. occam 2.1 Reference Manual. — SGS-Thompson Microelectronics Ltd., 1995. — [Архивировано 1 августа 2020 года.], INMOS document 72 occ 45 03