Комунікуючі послідовні процеси (Ukrainian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Комунікуючі послідовні процеси" in Ukrainian language version.

refsWebsite

Global rank Ukrainian rank

7web.archive.org

1^st place

4doi.org

2^nd place

4^th place

1archive.org

6^th place

1wotug.org

low place

1swtch.com

low place

1golang.org

8,118^th place

8,328^th place

1braveclojure.com

low place

1youtube.com

9^th place

7^th place

1springer.com

274^th place

202^nd place

1anthonyhall.org

low place

1mit.edu

415^th place

529^th place

1utexas.edu

916^th place

1,136^th place

anthonyhall.org

Hall, A; Chapman, R. (2002). Correctness by construction: Developing a commercial secure system (PDF). IEEE Software. 19 (1): 18—25. doi:10.1109/52.976937. Архів оригіналу (PDF) за 2 Грудня 2020. Процитовано 27 Вересня 2017.

archive.org

Roscoe, A. W. (1997). The Theory and Practice of Concurrency. Prentice Hall. ISBN 0-13-674409-5.

braveclojure.com

Higginbotham, Daniel. Mastering Concurrent Processes with core.async. Clojure for the Brave and True (вид. 1 edition). San Francisco: No Starch Press. ISBN 978-1-59327-591-4. Архів оригіналу за 28 Вересня 2017. Процитовано 27 Вересня 2017.

doi.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.
Hall, A; Chapman, R. (2002). Correctness by construction: Developing a commercial secure system (PDF). IEEE Software. 19 (1): 18—25. doi:10.1109/52.976937. Архів оригіналу (PDF) за 2 Грудня 2020. Процитовано 27 Вересня 2017.
Brookes, Stephen; Hoare, C. A. R.; Roscoe, A. W. (1984). A Theory of Communicating Sequential Processes. Journal of the ACM. 31 (3): 560—599. doi:10.1145/828.833.

golang.org

Language Design FAQ: Why build concurrency on the ideas of CSP?. Архів оригіналу за 2 Січня 2013. Процитовано 27 Вересня 2017.

mit.edu

dspace.mit.edu

Clinger, William (June 1981). Foundations of Actor Semantics. Mathematics Doctoral Dissertation. MIT. Архів оригіналу за 25 Липня 2019. Процитовано 8 Лютого 2018.

springer.com

Abdallah, Ali E.; Jones, Cliff B.; Sanders, Jeff W. (2005). Communicating Sequential Processes: The First 25 Years. LNCS. Т. 3525. Springer.

swtch.com

Resources about threaded programming in the Bell Labs CSP style. Архів оригіналу за 26 Квітня 2013. Процитовано 15 квітня 2010.

utexas.edu

cs.utexas.edu

Lowe, G. Breaking and fixing the Needham-Schroeder public-key protocol using FDR (PDF).

web.archive.org

INMOS (12 травня 1995). occam 2.1 Reference Manual (PDF). SGS-THOMSON Microelectronics Ltd. Архів оригіналу (PDF) за 1 Серпня 2020. Процитовано 27 Вересня 2017., INMOS document 72 occ 45 03
Resources about threaded programming in the Bell Labs CSP style. Архів оригіналу за 26 Квітня 2013. Процитовано 15 квітня 2010.
Language Design FAQ: Why build concurrency on the ideas of CSP?. Архів оригіналу за 2 Січня 2013. Процитовано 27 Вересня 2017.
Higginbotham, Daniel. Mastering Concurrent Processes with core.async. Clojure for the Brave and True (вид. 1 edition). San Francisco: No Starch Press. ISBN 978-1-59327-591-4. Архів оригіналу за 28 Вересня 2017. Процитовано 27 Вересня 2017.
Coding Tech. Concurrency Patterns In Go. Процитовано 9 серпня 2018. Архівована копія. Архів оригіналу за 30 грудня 2018. Процитовано 9 серпня 2018.{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)
Hall, A; Chapman, R. (2002). Correctness by construction: Developing a commercial secure system (PDF). IEEE Software. 19 (1): 18—25. doi:10.1109/52.976937. Архів оригіналу (PDF) за 2 Грудня 2020. Процитовано 27 Вересня 2017.
Clinger, William (June 1981). Foundations of Actor Semantics. Mathematics Doctoral Dissertation. MIT. Архів оригіналу за 25 Липня 2019. Процитовано 8 Лютого 2018.

wotug.org

INMOS (12 травня 1995). occam 2.1 Reference Manual (PDF). SGS-THOMSON Microelectronics Ltd. Архів оригіналу (PDF) за 1 Серпня 2020. Процитовано 27 Вересня 2017., INMOS document 72 occ 45 03

youtube.com

Coding Tech. Concurrency Patterns In Go. Процитовано 9 серпня 2018. Архівована копія. Архів оригіналу за 30 грудня 2018. Процитовано 9 серпня 2018.{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)