Topic summary
Pi-calculus
Extracted from the Wikipedia article Π-calculus.
Notes
- ^
- ^ 470. doi:10.1142/9789814447362_0045. ISBN . PMID 11262964.
- ^ .
- ^
- ^
- ^
- ^ -calculus. Technical Report 1702, INRIA, Sophia-Antipolis.
- ^
- ^ 265. arXiv:cs/9809008. Bibcode:1998cs........9008P.
- ^ . Mathematical Structures in Computer Science. 2 (2): 119–141. doi:10.1017/s0960129500001407. hdl:20.500.11820/159b09c0-1147-4f32-baf0-23bed198f12a. S2CID 36446818.
- ^ 228. doi:10.1016/S0304-3975(96)00325-8.
- ^ . Information and Computation. 100 (1): 1–40. doi:10.1016/0890-5401(92)90008-4. hdl:20.500.11820/cdd6d766-14a5-4c3e-8956-a9792bb2c6d3.
- ^ 97. doi:10.1007/s002360050036. S2CID 18155730.
- ^
- ^ 1806. Bibcode:2007PLSCB...3..174C. doi:10.1371/journal.pcbi.0030174. PMC 1994977. PMID 17907794.
- ^ . CoSMoS 2009.
- ^ .
- ^ 89. doi:10.1145/151233.151240.