Home

Conference Paper
Mostrous, D., and V. T. Vasconcelos, "Affine Sessions", Coordination Models and Languages, 2014.
Mostrous, D., "Multiparty Sessions based on Proof Nets", Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), 2014.
Book Chapter
Mostrous, D., and V. T. Vasconcelos, "Session typing for a featherweight Erlang", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 95–109, 2011.