NOTES FROM MARTIN DEBRIEF, WILL REWRITE IN FUTURE FORMALLY (with diagrams)

session layer

general session logic

two session entrypoints