@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 to replace it with another command,\MessageBreak or 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},
)