Π-calculus (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Π-calculus" in English language version.

refsWebsite

Global rank English rank

8doi.org

2^nd place

3nih.gov

4^th place

2harvard.edu

18^th place

17^th place

2handle.net

102^nd place

76^th place

2semanticscholar.org

11^th place

8^th place

2ed.ac.uk

1,871^st place

1,234^th place

1omg.org

8,204^th place

6,556^th place

1tufts.edu

155^th place

138^th place

1arxiv.org

69^th place

59^th place

1archives-ouvertes.fr

1,031^st place

879^th place

1web.archive.org

1^st place

1cosmos-research.org

low place

archives-ouvertes.fr (Global: 1,031^st place; English: 879^th place)

hal.archives-ouvertes.fr

Milner, Robin (1992). "Functions as Processes" (PDF). Mathematical Structures in Computer Science. 2 (2): 119–141. doi:10.1017/s0960129500001407. hdl:20.500.11820/159b09c0-1147-4f32-baf0-23bed198f12a. S2CID 36446818.

arxiv.org (Global: 69^th place; English: 59^th place)

Palamidessi, Catuscia (1997). "Comparing the expressive power of the Synchronous and the Asynchronous pi-calculus". Proceedings of the 24th ACM Symposium on Principles of Programming Languages: 256–265. arXiv:cs/9809008. Bibcode:1998cs........9008P.

cosmos-research.org (Global: low place; English: low place)

Nash, A.; Kalvala, S. (2009). "A Framework Proposition for Cellular Locality of Dictyostelium Modelled in π-Calculus" (PDF). CoSMoS 2009.

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

Regev, Aviv; William Silverman; Ehud Y. Shapiro (2001). "Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra". Biocomputing 2001: Proceedings of the Pacific Symposium. pp. 459–470. doi:10.1142/9789814447362_0045. ISBN 978-981-02-4515-3. PMID 11262964.
Milner, Robin (1992). "Functions as Processes" (PDF). Mathematical Structures in Computer Science. 2 (2): 119–141. doi:10.1017/s0960129500001407. hdl:20.500.11820/159b09c0-1147-4f32-baf0-23bed198f12a. S2CID 36446818.
Dam, Mads (1997). "On the Decidability of Process Equivalences for the pi-Calculus". Theoretical Computer Science. 183 (2): 215–228. doi:10.1016/S0304-3975(96)00325-8.
Milner, R.; J. Parrow; D. Walker (1992). "A calculus of mobile processes" (PDF). Information and Computation. 100 (1): 1–40. doi:10.1016/0890-5401(92)90008-4. hdl:20.500.11820/cdd6d766-14a5-4c3e-8956-a9792bb2c6d3.
Sangiorgi, D. (1996). "A theory of bisimulation for the π-calculus". Acta Informatica. 33: 69–97. doi:10.1007/s002360050036. S2CID 18155730.
Chiarugi, Davide; Pierpaolo Degano; Roberto Marangoni (2007). "A computational approach to the functional screening of genomes". PLOS Computational Biology. 3 (9): 1801–1806. Bibcode:2007PLSCB...3..174C. doi:10.1371/journal.pcbi.0030174. PMC 1994977. PMID 17907794.
Engberg, U.; Nielsen, M. (1986). "A Calculus of Communicating Systems with Label Passing". DAIMI Report Series. 15 (208). doi:10.7146/dpb.v15i208.7559.
Robin Milner (1993). "Elements of interaction: Turing award lecture". Commun. ACM. 36 (1): 78–89. doi:10.1145/151233.151240.

ed.ac.uk (Global: 1,871^st place; English: 1,234^th place)

lfcs.inf.ed.ac.uk

A Calculus of Mobile Processes part 1 page 10, by R. Milner, J. Parrow and D. Walker published in Information and Computation 100(1) pp.1-40, Sept 1992

pure.ed.ac.uk

Milner, R.; J. Parrow; D. Walker (1992). "A calculus of mobile processes" (PDF). Information and Computation. 100 (1): 1–40. doi:10.1016/0890-5401(92)90008-4. hdl:20.500.11820/cdd6d766-14a5-4c3e-8956-a9792bb2c6d3.

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

hdl.handle.net

Milner, Robin (1992). "Functions as Processes" (PDF). Mathematical Structures in Computer Science. 2 (2): 119–141. doi:10.1017/s0960129500001407. hdl:20.500.11820/159b09c0-1147-4f32-baf0-23bed198f12a. S2CID 36446818.
Milner, R.; J. Parrow; D. Walker (1992). "A calculus of mobile processes" (PDF). Information and Computation. 100 (1): 1–40. doi:10.1016/0890-5401(92)90008-4. hdl:20.500.11820/cdd6d766-14a5-4c3e-8956-a9792bb2c6d3.

harvard.edu (Global: 18^th place; English: 17^th place)

ui.adsabs.harvard.edu

Palamidessi, Catuscia (1997). "Comparing the expressive power of the Synchronous and the Asynchronous pi-calculus". Proceedings of the 24th ACM Symposium on Principles of Programming Languages: 256–265. arXiv:cs/9809008. Bibcode:1998cs........9008P.
Chiarugi, Davide; Pierpaolo Degano; Roberto Marangoni (2007). "A computational approach to the functional screening of genomes". PLOS Computational Biology. 3 (9): 1801–1806. Bibcode:2007PLSCB...3..174C. doi:10.1371/journal.pcbi.0030174. PMC 1994977. PMID 17907794.

nih.gov (Global: 4^th place; English: 4^th place)

pubmed.ncbi.nlm.nih.gov

Regev, Aviv; William Silverman; Ehud Y. Shapiro (2001). "Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra". Biocomputing 2001: Proceedings of the Pacific Symposium. pp. 459–470. doi:10.1142/9789814447362_0045. ISBN 978-981-02-4515-3. PMID 11262964.
Chiarugi, Davide; Pierpaolo Degano; Roberto Marangoni (2007). "A computational approach to the functional screening of genomes". PLOS Computational Biology. 3 (9): 1801–1806. Bibcode:2007PLSCB...3..174C. doi:10.1371/journal.pcbi.0030174. PMC 1994977. PMID 17907794.

ncbi.nlm.nih.gov

Chiarugi, Davide; Pierpaolo Degano; Roberto Marangoni (2007). "A computational approach to the functional screening of genomes". PLOS Computational Biology. 3 (9): 1801–1806. Bibcode:2007PLSCB...3..174C. doi:10.1371/journal.pcbi.0030174. PMC 1994977. PMID 17907794.

omg.org (Global: 8,204^th place; English: 6,556^th place)

OMG Specification (2011). "Business Process Model and Notation (BPMN) Version 2.0", Object Management Group. p.21

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

api.semanticscholar.org

Milner, Robin (1992). "Functions as Processes" (PDF). Mathematical Structures in Computer Science. 2 (2): 119–141. doi:10.1017/s0960129500001407. hdl:20.500.11820/159b09c0-1147-4f32-baf0-23bed198f12a. S2CID 36446818.
Sangiorgi, D. (1996). "A theory of bisimulation for the π-calculus". Acta Informatica. 33: 69–97. doi:10.1007/s002360050036. S2CID 18155730.

tufts.edu (Global: 155^th place; English: 138^th place)

cs.tufts.edu

Wing, Jeannette M. (27 December 2002). "FAQ on π-Calculus" (PDF).

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

"BPML | BPEL4WS: A Convergence Path toward a Standard BPM Stack."^[usurped] BPMI.org Position Paper. August 15, 2002.

Π-calculus (English Wikipedia)

archives-ouvertes.fr (Global: 1,031st place; English: 879th place)

hal.archives-ouvertes.fr

arxiv.org (Global: 69th place; English: 59th place)

cosmos-research.org (Global: low place; English: low place)

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

ed.ac.uk (Global: 1,871st place; English: 1,234th place)