In programming languages, session types allow programmers to encode communication protocols in a way that can be statically enforced by a compiler.

References

edit

Gay, Simon; Vasconcelos, Vasco; Ravara, António. Session Types for Inter-Process Communication (Technical report). University of Glasgow. TR-2003-133.