Π-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

1bpmi.org

low place

1cosmos-research.org

low place

archives-ouvertes.fr

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

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.

bpmi.org

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

cosmos-research.org

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

doi.org

Regev, Aviv; William Silverman; Ehud Y. Shapiro (2001). "Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra". Pacific Symposium on Biocomputing: 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

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

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

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

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". Pacific Symposium on Biocomputing: 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

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

semanticscholar.org

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

cs.tufts.edu

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