Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
authFullName_s : Dimitris Mostrous
Page :
sorted by
Image document

Affine Sessions

 Dimitris Mostrous , Vasco Thudichum Vasconcelos
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.115-130, ⟨10.1007/978-3-662-43376-8_8⟩
Conference papers hal-01290071v1
Image document

Session Typing for a Featherweight Erlang

 Dimitris Mostrous , Vasco T. Vasconcelos
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.95-109, ⟨10.1007/978-3-642-21464-6_7⟩
Conference papers hal-01582995v1
Page :