Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication

@article{Yoshida2007LanguagePA,
  title={Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication},
  author={Nobuko Yoshida and Vasco Thudichum Vasconcelos},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2007},
  volume={171},
  pages={73-93}
}
Session primitives and types provide a flexible programming style for structural interaction, and are used to statically check the safe and consistent composition of protocols in communication-centric distributed software. Unfortunately authors working on session types have recently realised that some of the previously published systems fail to satisfy the basic theorems of Subject Reduction and Type Safety. This report discusses the issues involved in higher-order session communication… CONTINUE READING
Highly Influential
This paper has highly influenced 12 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 160 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

161 Citations

0102030'07'10'13'16
Citations per Year
Semantic Scholar estimates that this publication has 161 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…