@unknown(DBLP:journals/jacm/AbadiBF18,
 author       = {Mart{\'{i}}n Abadi and Bruno Blanchet and C{\'{e}}dric Fournet},
 year         = {2018},
 title        = {The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication},
 journal      = {J. {ACM}},
 volume       = {65},
 number       = {1},
 pages        = {1:1--1:41},
 url          = {https://doi.org/10.1145/3127586},
)
@unknown(pi_mobile_values_secure_communication,
 author       = {Martín Abadi and Cédric Fournet},
 year         = {2001},
 title        = {Mobile Values, New Names, and Secure Communication},
 booktitle    = {Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {104–115},
 url          = {https://doi.org/10.1145/360204.360213},
)
@unknown(DBLP:conf/fct/AmadioLT95,
 author       = {Roberto M. Amadio and Lone Leth Thomsen and Bent Thomsen},
 year         = {1995},
 title        = {From a Concurrent Lambda-Calculus to the Pi-Calculus},
 editor       = {Horst Reichel},
 booktitle    = {Fundamentals of Computation Theory, 10th International Symposium, {FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {965},
 publisher    = {Springer},
 pages        = {106--115},
 url          = {https://doi.org/10.1007/3-540-60249-6\_43},
)
@unknown(TypesForComplexityOfParallelComputationInPiCalculus,
 author       = {Patrick Baillot and Alexis Ghyselen},
 year         = {2022},
 title        = {Types for Complexity of Parallel Computation in Pi-calculus},
 volume       = {44},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 url          = {https://doi.org/10.1145/3495529},
)
@unknown(DBLP:conf/lics/BengtsonJPV09,
 author       = {Jesper Bengtson and Magnus Johansson and Joachim Parrow and Bj{\"{o}}rn Victor},
 year         = {2009},
 title        = {Psi-calculi: Mobile Processes, Nominal Data, and Logic},
 booktitle    = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
 publisher    = {{IEEE} Computer Society},
 pages        = {39--48},
 url          = {https://doi.org/10.1109/LICS.2009.20},
)
@unknown(composite_names,
 author       = {Marco Carbone and Sergio Maffeis},
 year         = {2002},
 title        = {On the Expressive Power of Polyadic Synchronisation in pi-calculus},
 editor       = {Uwe Nestmann and Prakash Panangaden},
 booktitle    = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS} 2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
 series       = {Electronic Notes in Theoretical Computer Science},
 volume       = {68},
 publisher    = {Elsevier},
 pages        = {15--32},
 url          = {https://doi.org/10.1016/S1571-0661(05)80361-5},
)
@unknown(DBLP:conf/fct/EneM99,
 author       = {Cristian Ene and Traian Muntean},
 year         = {1999},
 title        = {Expressiveness of Point-to-Point versus Broadcast Communications},
 booktitle    = {Fundamentals of Computation Theory, 12th International Symposium, {FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
 pages        = {258--268},
 url          = {https://doi.org/10.1007/3-540-48321-7\_21},
)
@unknown(FutharkWorkSpanModel,
 author       = {Futhark},
 title        = {A Parallel Cost Model for Futhark Programs},
 url          = {https://futhark-book.readthedocs.io/en/latest/parallel-cost-model.html},
)
@unknown(gay2005subtyping,
 author       = {Simon Gay and Malcolm Hole},
 year         = {2005},
 title        = {Subtyping for session types in the pi calculus},
 journal      = {Acta Informatica},
 volume       = {42},
 number       = {2},
 pages        = {191--225},
 url          = {https://doi.org/10.1007/s00236-005-0177-z},
)
@unknown(FutharkPhd,
 author       = {Troels Henriksen},
 year         = {2017},
 title        = {Design and Implementation of the Futhark Programming Language},
 type         = {Ph.D. thesis},
 school       = {DIKU},
 url          = {https://di.ku.dk/english/research/phd/phd-theses/2017/Troels_Henriksen_thesis.pdf},
)
@unknown(DBLP:journals/corr/HuttelP16,
 author       = {Hans H{\"{u}}ttel and Nuno Pratas},
 year         = {2015},
 title        = {Broadcast and aggregation in {BBC}},
 editor       = {Simon Gay and Jade Alglave},
 booktitle    = {Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, {PLACES} 2015, London, UK, 18th April 2015},
 series       = {{EPTCS}},
 volume       = {203},
 pages        = {15--28},
 url          = {https://doi.org/10.4204/EPTCS.203.2},
)
@unknown(p10,
 author       = {Lars Jensen and Chris Oliver Paulsen and Julian Jørgensen Teule},
 year         = {2023},
 title        = {Translating Concepts of the Futhark Programming Language into an Extended pi-Calculus},
 type         = {Master's thesis},
 school       = {AAU},
 url          = {https://futhark-lang.org/student-projects/pi-msc-thesis.pdf},
 note         = {Available at \url{https://futhark-lang.org/student-projects/pi-msc-thesis.pdf}},
)
@unknown(pi_functions_as_processes,
 author       = {Robin Milner},
 year         = {1990},
 title        = {Functions as processes},
 editor       = {Michael S. Paterson},
 booktitle    = {Automata, Languages and Programming},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {167--180},
 url          = {https://doi.org/10.1007/BFb0032030},
)
@unknown(pi_a_tutorial,
 author       = {Robin Milner},
 year         = {1993},
 title        = {The Polyadic $\pi$-Calculus: a Tutorial},
 editor       = {Friedrich L. Bauer and Wilfried Brauer and Helmut Schwichtenberg},
 booktitle    = {Logic and Algebra of Specification},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {203--246},
 url          = {https://doi.org/10.1007/978-3-642-58041-3_6},
)
@unknown(DBLP:books/daglib/0098267,
 author       = {Robin Milner},
 year         = {1999},
 title        = {Communicating and mobile systems - the {$\pi$}-calculus},
 publisher    = {Cambridge University Press},
)
@unknown(DBLP:conf/mfps/Sangiorgi93,
 author       = {Davide Sangiorgi},
 year         = {1993},
 title        = {An Investigation into Functions as Processes},
 editor       = {Stephen D. Brookes and Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt},
 booktitle    = {Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {802},
 publisher    = {Springer},
 pages        = {143--159},
 url          = {https://doi.org/10.1007/3-540-58027-1\_7},
)
@unknown(DBLP:journals/iandc/Sangiorgi94,
 author       = {Davide Sangiorgi},
 year         = {1994},
 title        = {The Lazy Lambda Calculus in a Concurrency Scenario},
 journal      = {Inf. Comput.},
 volume       = {111},
 number       = {1},
 pages        = {120--153},
 url          = {https://doi.org/10.1006/inco.1994.1042},
)
@unknown(DBLP:journals/mscs/Sangiorgi99,
 author       = {Davide Sangiorgi},
 year         = {1999},
 title        = {From lambda to pi; or, Rediscovering continuations},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {9},
 number       = {4},
 pages        = {367--401},
 url          = {https://doi.org/10.1017/S0960129599002881},
)
@unknown(DBLP:books/daglib/0004377,
 author       = {Davide Sangiorgi and David Walker},
 year         = {2001},
 title        = {The {$\pi$}-Calculus - a theory of mobile processes},
 publisher    = {Cambridge University Press},
)