Home

2014
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.
2011
Mostrous, D., and V. T. Vasconcelos, "Session typing for a featherweight Erlang", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 95–109, 2011.