Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
authFullName_s : Vasco Thudichum Vasconcelos
Page :
sorted by
Image document

Typing Progress in Communication-Centred Systems

 Hugo Torres Vieira , Vasco Thudichum Vasconcelos
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.236-250, ⟨10.1007/978-3-642-38493-6_17⟩
Conference papers hal-01486030v1
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

Coordinating Phased Activities while Maintaining Progress

 Tiago Cogumbreiro , Francisco Martins , Vasco Thudichum Vasconcelos
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.31-44, ⟨10.1007/978-3-642-38493-6_3⟩
Conference papers hal-01486033v1
Image document

Typing Liveness in Multiparty Communicating Systems

 Luca Padovani , Vasco Thudichum Vasconcelos , Hugo Torres Vieira
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.147-162, ⟨10.1007/978-3-662-43376-8_10⟩
Conference papers hal-01290074v1
Page :