@inproceedings(baker1977futures,
 author       = {Henry C. Baker, Jr. and Carl Hewitt},
 year         = {1977},
 title        = {The Incremental Garbage Collection of Processes},
 booktitle    = {Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {55--59},
 doi          = {10.1145/800228.806932},
)
@inproceedings(balzer2015objects,
 author       = {Stephanie Balzer and Frank Pfenning},
 year         = {2015},
 title        = {Objects As Session-typed Processes},
 booktitle    = {Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control},
 series       = {AGERE! 2015},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {13--24},
 doi          = {10.1145/2824815.2824817},
)
@inproceedings(caires2010session,
 author       = {Lu{\'\i}s Caires and Frank Pfenning},
 year         = {2010},
 title        = {Session Types as Intuitionistic Linear Propositions},
 booktitle    = {Proceedings of the 21st International Conference on Concurrency Theory (CONCUR 2010)},
 publisher    = {Springer LNCS 6269},
 address      = {Paris, France},
 pages        = {222--236},
 doi          = {10.1007/978-3-642-15375-4\_16},
)
@article(caires2013linear,
 author       = {Lu{\'i}s Caires and Frank Pfenning and Bernardo Toninho},
 year         = {2016},
 title        = {Linear logic propositions as session types},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {26},
 pages        = {367--423},
 doi          = {10.1017/S0960129514000218},
)
@article(Cervesato09ic,
 author       = {Iliano Cervesato and Andre Scedrov},
 year         = {2009},
 title        = {Relating state-based and process-based concurrency through linear logic (full-version)},
 journal      = {Information and Computation},
 volume       = {207},
 number       = {10},
 pages        = {1044 -- 1077},
 doi          = {10.1016/j.ic.2008.11.006},
 note         = {Special issue: 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006)},
)
@inbook(Cormen:2001:IA:580470,
 author       = {Thomas H. Cormen and Clifford Stein and Ronald L. Rivest and Charles E. Leiserson},
 year         = {2001},
 title        = {Introduction to Algorithms},
 edition      = {2nd},
 chapter      = {27},
 publisher    = {McGraw-Hill Higher Education},
)
@article(Friedman78aspectsof,
 author       = {Daniel P. Friedman and David and S. Wise},
 year         = {1978},
 title        = {Aspects of applicative programming for parallel processing},
 journal      = {IEEE Transactions on Computers},
 pages        = {289--296},
 doi          = {10.1109/TC.1978.1675100},
)
@unpublished(Guenot14un,
 author       = {Nicolas Guenot},
 year         = {2014},
 title        = {Session Types, Solos, and the Computational Contents of the Sequent Calculus},
 note         = {Talk at the Types Meeting},
)
@inproceedings(honda1993types,
 author       = {Kohei Honda},
 year         = {1993},
 title        = {Types for Dyadic Interaction},
 booktitle    = {4th International Conference on Concurrency Theory},
 series       = {CONCUR'93},
 publisher    = {Springer LNCS 715},
 pages        = {509--523},
 doi          = {10.1007/3-540-57208-2\_35},
)
@inproceedings(honda1998language,
 author       = {Kohei. Honda and Vasco T. Vasconcelos and Makoto Kubo},
 year         = {1998},
 title        = {Language Primitives and Type Discipline for Structured Communication-Based Programming},
 booktitle    = {7th European Symposium on Programming Languages and Systems},
 series       = {ESOP'98},
 publisher    = {Springer LNCS 1381},
 pages        = {122--138},
 doi          = {10.1007/BFb0053567},
)
@article(Laneve03mscs,
 author       = {Cosimo Laneve and Bj{\"o}rn Victor},
 year         = {2003},
 title        = {Solos in Concert},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {13},
 number       = {5},
 pages        = {657--683},
 doi          = {10.1017/S0960129503004055},
)
@inproceedings(Pfenning09lics,
 author       = {F. Pfenning and R. J. Simmons},
 year         = {2009},
 title        = {Substructural Operational Semantics as Ordered Logic Programming},
 booktitle    = {Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on},
 pages        = {101--110},
 doi          = {10.1109/LICS.2009.8},
)
@misc(c0,
 author       = {Frank Pfenning and Rob Arnold},
 year         = {2010},
 title        = {C0 Language},
 url          = {http://c0.typesafety.net},
)
@inproceedings(pfenning2015polarized,
 author       = {Frank Pfenning and Dennis Griffith},
 year         = {2015},
 title        = {Polarized Substructural Session Types},
 editor       = {A. Pitts},
 booktitle    = {Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015)},
 publisher    = {Springer LNCS 9034},
 address      = {London, England},
 pages        = {3--22},
 doi          = {10.1007/978-3-662-46678-0\_1},
)
@inproceedings(Toninho12fossacs,
 author       = {Bernardo Toninho and Lu{\'\i}s Caires and Frank Pfenning},
 year         = {2012},
 title        = {Functions as Session-Typed Processes},
 editor       = {L. Birkedal},
 booktitle    = {15th International Conference on Foundations of Software Science and Computation Structures},
 series       = {FoSSaCS'12},
 publisher    = {Springer LNCS},
 address      = {Tallinn, Estonia},
 pages        = {346--360},
 doi          = {10.1007/978-3-642-28729-9\_23},
)
@inproceedings(Toninho2013,
 author       = {Bernardo Toninho and Luis Caires and Frank Pfenning},
 year         = {2013},
 title        = {Higher-Order Processes, Functions, and Sessions: A Monadic Integration},
 booktitle    = {Proceedings of the 22Nd European Conference on Programming Languages and Systems},
 series       = {ESOP'13},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {350--369},
 doi          = {10.1007/978-3-642-37036-6\_20},
)
@article(wadler2012propositions,
 author       = {Philip Wadler},
 year         = {2015},
 title        = {Propositions As Types},
 journal      = {Commun. ACM},
 volume       = {58},
 number       = {12},
 pages        = {75--84},
 doi          = {10.1145/2699407},
)
@misc(willseydesign,
 author       = {Max Willsey and Rokhini Prabhu and Frank Pfenning},
 year         = {2016},
 title        = {Design and Implementation of Concurrent C0},
 url          = {https://www.cs.cmu.edu/~fp/papers/cc016.pdf},
)