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
BETA

Citations

Publications citing this paper.

FILTER CITATIONS BY YEAR

2006
2019

CITATION STATISTICS

  • 17 Highly Influenced Citations

  • Averaged 6 Citations per year over the last 3 years

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…