@article(bocchino2009type,
 author       = {Bocchino Jr, Robert L and Vikram S Adve and Danny Dig and Sarita V Adve and Stephen Heumann and Rakesh Komuravelli and Jeffrey Overbey and Patrick Simmons and Hyojin Sung and Mohsen Vakilian},
 year         = {2009},
 title        = {A {T}ype and {E}ffect {S}ystem for {D}eterministic {P}arallel {J}ava},
 journal      = {In Proocedings of OOPSLA 2009},
 pages        = {97--116},
 doi          = {10.1145/1640089.1640097},
)
@inproceedings(CDY2014,
 author       = {Tzu-Chun Chen and Dezani-Ciancaglini, Mariangiola and Nobuko Yoshida},
 year         = {2014},
 title        = {{On the Preciseness of Subtyping in Session Types}},
 booktitle    = {PPDP 2014},
 publisher    = {ACM Press},
 pages        = {146--135},
 doi          = {10.1145/2643135.2643138},
)
@inproceedings(gifford1986effects,
 author       = {David K. Gifford and John M. Lucassen},
 year         = {1986},
 title        = {Integrating functional and imperative programming},
 booktitle    = {Proceedings of Conference on LISP and func. prog.},
 series       = {LFP '86},
 doi          = {10.1145/319838.319848},
)
@article(KOUZAPAS_2014,
 author       = {Dimitrios Kouzapas and Nobuko Yoshida and Raymond Hu and Kohei Honda},
 year         = {2014},
 title        = {On asynchronous eventful session semantics},
 journal      = {Mathematical Structures in Computer Science},
 pages        = {1--62},
 doi          = {10.1017/s096012951400019x},
)
@article(MilnerR:funp,
 author       = {Robin Milner},
 year         = {1992},
 title        = {Functions as Processes},
 journal      = {MSCS},
 volume       = {2},
 number       = {2},
 pages        = {119--141},
 doi          = {10.1017/s0960129500001407},
)
@article(MostrousY15,
 author       = {Dimitris Mostrous and Nobuko Yoshida},
 year         = {2015},
 title        = {Session typing and asynchronous subtyping for the higher-order {\relax$\pi\relax \GenericError{ }{LaTeX Error: Bad math environment delimiter}{See the LaTeX manual or LaTeX Companion for explanation.}{Your command was ignored.\MessageBreak Type I <command> <return> to replace it with another command,\MessageBreak or <return> to continue without it.}}-calculus},
 journal      = {Inf. Comput.},
 volume       = {241},
 pages        = {227--263},
 doi          = {10.1016/j.ic.2015.02.002},
)
@incollection(nielson1999type,
 author       = {Flemming Nielson and Hanne Riis Nielson},
 year         = {1999},
 title        = {Type and effect systems},
 booktitle    = {Correct System Design},
 publisher    = {Springer},
 pages        = {114--136},
 doi          = {10.1007/3-540-48092-7\_6},
)
@inproceedings(nielson1994higher,
 author       = {Hanne Riis Nielson and Flemming Nielson},
 year         = {1994},
 title        = {Higher-order concurrent programs with finite communication topology},
 booktitle    = {Proceedings of the symposium on Principles of programming languages},
 organization = {ACM},
 pages        = {84--97},
 doi          = {10.1145/174675.174538},
)
@inproceedings(DBLP:conf/icfp/PetricekOM14,
 author       = {Tomas Petricek and Dominic A. Orchard and Alan Mycroft},
 year         = {2014},
 title        = {Coeffects: a calculus of context-dependent computation},
 booktitle    = {Proceedings of ICFP},
 pages        = {123--135},
 doi          = {10.1145/2628136.2628160},
)
@book(SangiorgiD:picatomp,
 author       = {Davide Sangiorgi and David Walker},
 year         = {2001},
 title        = {The $\pi$-{C}alculus: a {T}heory of {M}obile {P}rocesses},
 publisher    = {Cambridge University Press},
 doi          = {10.2178/bsl/1182353926},
)
@inproceedings(TalpinJP:typeffd,
 author       = {Jean-Pierre Talpin and Pierre Jouvelot},
 year         = {1992},
 title        = {The type and effect discipline},
 booktitle    = {Proc.~LICS'92},
 pages        = {162--173},
 doi          = {10.1109/lics.1992.185530},
)
@article(YoshidaV07,
 author       = {Nobuko Yoshida and Vasco Thudichum Vasconcelos},
 year         = {2007},
 title        = {Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {171},
 number       = {4},
 pages        = {73--93},
 doi          = {10.1016/j.entcs.2007.02.056},
)