Report copyright - Session Types and Linear Logic and Lightweight ...mrg.doc.ic.ac.uk/talks/ucl-mar2017/talk.pdf · Introduction A Concurrency-Theoretic Approach: Session Types Structuring Communication
Please pass captcha verification before submit form