@article(types:CCDDG09,
 author       = {Sara Capecchi and Mario Coppo and Dezani-Ciancaglini, Mariangiola and Sophia Drossopoulou and Elena Giachino},
 year         = {2009},
 title        = {Amalgamating sessions and methods in object-oriented languages with generics},
 journal      = {Theor. Comput. Sci.},
 volume       = {410},
 pages        = {142--167},
 doi          = {10.1016/j.tcs.2008.09.016},
)
@inproceedings(synch:Cetal06,
 author       = {Albert Cohen and Marc Duranton and Christine Eisenbeis and Claire Pagetti and Florence Plateau and Marc Pouzet},
 year         = {2006},
 title        = {N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems},
 booktitle    = {Principles of Programming Languages (POPL)},
 publisher    = {ACM Press},
 pages        = {180--193},
 doi          = {10.1145/1111037.1111054},
)
@article(types:DF01,
 author       = {Robert DeLine and Manuel F{\"a}hndrich},
 year         = {2001},
 title        = {Enforcing high-level protocols in low-level software},
 journal      = {SIGPLAN Not.},
 volume       = {36},
 pages        = {59--69},
 doi          = {10.1145/381694.378811},
)
@inproceedings(types:DF04,
 author       = {Robert Deline and F{\H{a}}hndrich, Manuel},
 year         = {2004},
 title        = {Typestates for Objects},
 booktitle    = {European Conference on Object-Oriented Programming (ECOOP)},
 publisher    = {Springer},
 pages        = {465--490},
 doi          = {10.1007/978-3-540-24851-4\_21},
)
@inproceedings(types:DY11,
 author       = {Pierre-Malo Deni{\'e}lou and Nobuko Yoshida},
 year         = {2011},
 title        = {Dynamic multirole session types},
 booktitle    = {{ACM} Symposium on Principles of Programming Languages},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {435--446},
 doi          = {10.1145/1926385.1926435},
)
@inproceedings(types:DMD10,
 author       = {Dezani-Ciancaglini, Mariangiola and Ugo De'Liguoro},
 year         = {2010},
 title        = {Sessions and session types: an overview},
 booktitle    = {Proceedings of the 6th international conference on Web services and formal methods},
 series       = {WS-FM'09},
 publisher    = {Springer-Verlag},
 pages        = {1--28},
 doi          = {10.1007/978-3-642-14458-5\_1},
)
@inproceedings(dataflow:DY12:ecoop,
 author       = {Dominic Duggan and Jianhua Yao},
 year         = {2012},
 title        = {Static Sessional Dataflow},
 booktitle    = {European Conference on Object-Oriented Programming (ECOOP)},
 address      = {Beijing},
 doi          = {10.1007/978-3-642-31057-7\_22},
)
@inproceedings(types:MR02,
 author       = {Manuel Fahndrich and Robert DeLine},
 year         = {2002},
 title        = {{Adoption and focus: practical linear types for imperative programming}},
 booktitle    = {PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {13--24},
 doi          = {10.1145/512529.512532},
)
@article(types:HYC08,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2008},
 title        = {Multiparty asynchronous session types},
 journal      = {SIGPLAN Not.},
 volume       = {43},
 pages        = {273--284},
 doi          = {10.1145/1328897.1328472},
)
@inproceedings(types:Cyclone02,
 author       = {Trevor Jim and J. Greg Morrisett and Dan Grossman and Michael W. Hicks and James Cheney and Yanling Wang},
 year         = {2002},
 title        = {Cyclone: A Safe Dialect of {C}},
 booktitle    = {USENIX Annual Technical Conference},
 publisher    = {USENIX Association},
 address      = {Berkeley, CA, USA},
 pages        = {275--288},
)
@inproceedings(concurrency:Kah74,
 author       = {Gilles Kahn},
 year         = {1974},
 title        = {The semantics of a simple language for parallel programming},
 booktitle    = {Information Processing 74: Proceedings of the IFIP Congress},
 publisher    = {North-Holland},
 address      = {Stockholm, Sweden},
 pages        = {471--475},
)
@article(types:Kob03,
 author       = {N. Kobayashi},
 year         = {2003},
 title        = {Type-based information flow analysis for the pi-calculus},
 journal      = {Acta Informatica},
 doi          = {10.1007/s00236-005-0179-x},
)
@article(synch:LM87,
 author       = {E.A. Lee and D.G. Messerschmitt},
 year         = {1987},
 title        = {Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing},
 journal      = {{IEEE} Trans. Computers},
 volume       = {36},
 number       = {1},
 pages        = {24--35},
 doi          = {10.1109/TC.1987.5009446},
)
@inproceedings(systems:LM87:sdf,
 author       = {Edward Lee and David Messerschmitt},
 title        = {Synchronous Data Flow: Describing Signal Processing Algorithm for Parallel Computation},
 booktitle    = {COMPCON'87, Digest of Papers, Thirty-Second {IEEE} Computer Society International Conference, San Francisco, California, USA, February 23-27, 1987},
 pages        = {310--315},
)
@phdthesis(dataflow:Thi09:streamit,
 author       = {William Thies},
 year         = {2009},
 title        = {Language and Compiler Support for Stream Programs},
 type         = {Ph.d. thesis},
 school       = {Massachusetts Institute of Technology},
 address      = {Cambridge, MA},
)
@inproceedings(types:TP11,
 author       = {Jesse A. Tov and Riccardo Pucella},
 year         = {2011},
 title        = {Practical affine types},
 booktitle    = {Principles of Programming Languages (POPL)},
 publisher    = {ACM},
 address      = {New York, NY},
 pages        = {447--458},
 doi          = {10.1145/1926385.1926436},
)
@article(dataflow:TBRL10:tr,
 author       = {Stavros Tripakis and Dai N. Bui and Marc Geilen and Bert Rodiers and Edward A. Lee},
 year         = {2013},
 title        = {Compositionality in synchronous data flow: Modular code generation from hierarchical {SDF} graphs},
 journal      = {{ACM} Trans. Embedded Comput. Syst.},
 volume       = {12},
 number       = {3},
 pages        = {83},
 doi          = {10.1145/2442116.2442133},
)
@inproceedings(types:VAS04,
 author       = {Vasco Vasconcelos and Ant{\'o}nio Ravara and Simon Gay},
 year         = {2004},
 title        = {Session Types for Functional Multithreading},
 booktitle    = {CONCUR'04},
 publisher    = {Springer-Verlag},
 pages        = {497--511},
 doi          = {10.1007/978-3-540-28644-8\_32},
)
@inproceedings(types:Wadler90,
 author       = {Philip Wadler},
 year         = {1990},
 title        = {Linear Types Can Change the World!},
 booktitle    = {Programming Concepts and Methods},
 publisher    = {North},
)