Session types revisited

@inproceedings{Dardha2012SessionTR,
  title={Session types revisited},
  author={Ornela Dardha and Elena Giachino and Davide Sangiorgi},
  booktitle={PPDP},
  year={2012}
}
Session types are a formalism to model structured communication-based programming. A session type describes communication by specifying the type and direction of data exchanged between two parties. When session types and session primitives are added to the syntax of standard π-calculus types and terms, they give rise to additional separate syntactic categories. As a consequence, when new type features are added, there is duplication of efforts in the theory: the proofs of properties must be… CONTINUE READING
Highly Cited
This paper has 84 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
49 Citations
10 References
Similar Papers

Citations

Publications citing this paper.

85 Citations

0102030'13'14'15'16'17'18
Citations per Year
Semantic Scholar estimates that this publication has 85 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 10 references

Linearity and the picalculus

  • N. Kobayashi, B. C. Pierce, D. N. Turner
  • ACM Trans. Program. Lang. Syst.,
  • 1999
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…