Session Types in Concurrent Calculi: Higher-Order Processes and Objects

TitleSession Types in Concurrent Calculi: Higher-Order Processes and Objects
Publication TypeThesis
Year of Publication2010
AuthorsMostrous, D.
UniversityImperial College London (University of London)
Thesis Typephd