Communicating sequential processes (English Wikipedia)

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

refsWebsite

Global rank English rank

6doi.org

2^nd place

4web.archive.org

1^st place

4psu.edu

207^th place

136^th place

3ox.ac.uk

613^th place

456^th place

3semanticscholar.org

11^th place

8^th place

3nus.edu.sg

2,776^th place

2,052^nd place

1wotug.org

low place

1swtch.com

low place

1erlang.org

low place

1golang.org

8,118^th place

6,098^th place

1clojure.org

low place

1springer.com

274^th place

309^th place

1anthonyhall.org

low place

1handle.net

102^nd place

76^th place

1uni-duesseldorf.de

5,334^th place

low place

1researchgate.net

120^th place

125^th place

1acm.org

1,185^th place

840^th place

acm.org (Global: 1,185^th place; English: 840^th place)

dl.acm.org

Len Shustek (March 2009). "An interview with C.A.R. Hoare". Communications of the ACM. 52 (3): 38–41. doi:10.1145/1467247.1467261. S2CID 1868477.

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

Hall, A; Chapman, R. (2002). "Correctness by construction: Developing a commercial secure system" (PDF). IEEE Software. 19 (1): 18–25. CiteSeerX 10.1.1.16.1811. doi:10.1109/52.976937.

clojure.org (Global: low place; English: low place)

Hickey, Rich (2013-06-28). "Clojure core.async Channels". Retrieved 2021-10-15.

doi.org (Global: 2^nd place; English: 2^nd place)

Hoare, C. A. R. (1978). "Communicating sequential processes". Communications of the ACM. 21 (8): 666–677. doi:10.1145/359576.359585. S2CID 849342.
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. CiteSeerX 10.1.1.16.1811. doi:10.1109/52.976937.
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. S2CID 488666.
Roscoe, A.W. (2010). Understanding Concurrent Systems. Texts in Computer Science. doi:10.1007/978-1-84882-258-0. ISBN 978-1-84882-257-3.
Len Shustek (March 2009). "An interview with C.A.R. Hoare". Communications of the ACM. 52 (3): 38–41. doi:10.1145/1467247.1467261. S2CID 1868477.

erlang.org (Global: low place; English: low place)

"10 Academic and Historical Questions". Retrieved 2021-11-15.

golang.org (Global: 8,118^th place; English: 6,098^th place)

"FAQ: Why build concurrency on the ideas of CSP?". The Go Programming Language. Retrieved 2021-10-15.

handle.net (Global: 102^nd place; English: 76^th place)

hdl.handle.net

Clinger, William (June 1981). Foundations of Actor Semantics (Mathematics Doctoral Dissertation). MIT. hdl:1721.1/6935.

nus.edu.sg (Global: 2,776^th place; English: 2,052^nd place)

comp.nus.edu.sg

Sun, Jun; Liu, Yang; Dong, Jin Song (2009). "PAT: Towards Flexible Verification under Fairness" (PDF). Proceedings of the 20th International Conference on Computer-Aided Verification (CAV 2009). Lecture Notes in Computer Science. Vol. 5643. Springer. Archived from the original (PDF) on 2011-06-11. Retrieved 2009-06-16.
Sun, Jun; Liu, Yang; Dong, Jin Song (2008). "Model Checking CSP Revisited: Introducing a Process Analysis Toolkit" (PDF). Proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science. Vol. 17. Springer. pp. 307–322. Archived from the original (PDF) on 2009-01-08. Retrieved 2009-01-15.
Sun, Jun; Liu, Yang; Dong, Jin Song; Chen, Chunqing (2009). "Integrating Specifications and Programs for System Specification and Verification" (PDF). IEEE Int. Conf. on Theoretical Aspects of Software Engineering TASE '09. Archived from the original (PDF) on 2011-06-11. Retrieved 2009-04-13.

ox.ac.uk (Global: 613^th place; English: 456^th place)

cs.ox.ac.uk

Roscoe, A. W. (1997). The Theory and Practice of Concurrency (PDF). Prentice Hall. ISBN 978-0-13-674409-2.
"Introduction — FDR 4.2.4 documentation". www.cs.ox.ac.uk.
Geraint Jones (1990). "Sharp as a Razor: A Queen's Award for the Computing Laboratory". The Oxford Magazine (59, Fourth Week, Trinity Term).

psu.edu (Global: 207^th place; English: 136^th place)

citeseerx.ist.psu.edu

Hall, A; Chapman, R. (2002). "Correctness by construction: Developing a commercial secure system" (PDF). IEEE Software. 19 (1): 18–25. CiteSeerX 10.1.1.16.1811. doi:10.1109/52.976937.
Creese, S. (2001). Data Independent Induction: CSP Model Checking of Arbitrary Sized Networks (D. Phil.). Oxford University. CiteSeerX 10.1.1.13.7185.
Parashkevov, Atanas N.; Yantchev, Jay (1996). "ARC – a tool for efficient refinement and equivalence checking for CSP". IEEE Int. Conf. on Algorithms and Architectures for Parallel Processing ICA3PP '96. pp. 68–75. CiteSeerX 10.1.1.45.3212.

citeseer.ist.psu.edu

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.

researchgate.net (Global: 120^th place; English: 125^th place)

Green, Mark; Abdallah, Ali (2002). "Performance Analysis and Behaviour Tuning for Optimisation of Communicating Systems". Communicating Process Architectures 2002.

semanticscholar.org (Global: 11^th place; English: 8^th place)

api.semanticscholar.org

Hoare, C. A. R. (1978). "Communicating sequential processes". Communications of the ACM. 21 (8): 666–677. doi:10.1145/359576.359585. S2CID 849342.
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. S2CID 488666.
Len Shustek (March 2009). "An interview with C.A.R. Hoare". Communications of the ACM. 52 (3): 38–41. doi:10.1145/1467247.1467261. S2CID 1868477.

springer.com (Global: 274^th place; English: 309^th place)

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

swtch.com (Global: low place; English: low place)

Cox, Russ. "Bell Labs and CSP Threads". Retrieved 2010-04-15.

uni-duesseldorf.de (Global: 5,334^th place; English: low place)

stups.uni-duesseldorf.de

Leuschel, Michael; Fontaine, Marc (2008). "Probing the Depths of CSP-M: A new FDR-compliant Validation Tool" (PDF). ICFEM 2008. Springer-Verlag. Archived from the original (PDF) on 2011-07-19. Retrieved 2008-11-26.

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

Leuschel, Michael; Fontaine, Marc (2008). "Probing the Depths of CSP-M: A new FDR-compliant Validation Tool" (PDF). ICFEM 2008. Springer-Verlag. Archived from the original (PDF) on 2011-07-19. Retrieved 2008-11-26.
Sun, Jun; Liu, Yang; Dong, Jin Song (2009). "PAT: Towards Flexible Verification under Fairness" (PDF). Proceedings of the 20th International Conference on Computer-Aided Verification (CAV 2009). Lecture Notes in Computer Science. Vol. 5643. Springer. Archived from the original (PDF) on 2011-06-11. Retrieved 2009-06-16.
Sun, Jun; Liu, Yang; Dong, Jin Song (2008). "Model Checking CSP Revisited: Introducing a Process Analysis Toolkit" (PDF). Proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science. Vol. 17. Springer. pp. 307–322. Archived from the original (PDF) on 2009-01-08. Retrieved 2009-01-15.
Sun, Jun; Liu, Yang; Dong, Jin Song; Chen, Chunqing (2009). "Integrating Specifications and Programs for System Specification and Verification" (PDF). IEEE Int. Conf. on Theoretical Aspects of Software Engineering TASE '09. Archived from the original (PDF) on 2011-06-11. Retrieved 2009-04-13.

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

Inmos (1995-05-12). occam 2.1 Reference Manual (PDF). SGS-Thomson Microelectronics Ltd., INMOS document 72 occ 45 03.

Communicating sequential processes (English Wikipedia)

acm.org (Global: 1,185th place; English: 840th place)

dl.acm.org

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

clojure.org (Global: low place; English: low place)

doi.org (Global: 2nd place; English: 2nd place)

erlang.org (Global: low place; English: low place)

golang.org (Global: 8,118th place; English: 6,098th place)

handle.net (Global: 102nd place; English: 76th place)

hdl.handle.net

nus.edu.sg (Global: 2,776th place; English: 2,052nd place)

comp.nus.edu.sg

ox.ac.uk (Global: 613th place; English: 456th place)

cs.ox.ac.uk

psu.edu (Global: 207th place; English: 136th place)

citeseerx.ist.psu.edu

citeseer.ist.psu.edu

researchgate.net (Global: 120th place; English: 125th place)

semanticscholar.org (Global: 11th place; English: 8th place)

api.semanticscholar.org

springer.com (Global: 274th place; English: 309th place)

swtch.com (Global: low place; English: low place)

uni-duesseldorf.de (Global: 5,334th place; English: low place)

stups.uni-duesseldorf.de

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

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

acm.org (Global: 1,185^th place; English: 840^th place)

doi.org (Global: 2^nd place; English: 2^nd place)

golang.org (Global: 8,118^th place; English: 6,098^th place)

handle.net (Global: 102^nd place; English: 76^th place)

nus.edu.sg (Global: 2,776^th place; English: 2,052^nd place)

ox.ac.uk (Global: 613^th place; English: 456^th place)

psu.edu (Global: 207^th place; English: 136^th place)

researchgate.net (Global: 120^th place; English: 125^th place)

semanticscholar.org (Global: 11^th place; English: 8^th place)

springer.com (Global: 274^th place; English: 309^th place)

uni-duesseldorf.de (Global: 5,334^th place; English: low place)

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