Search - IFIP Open Digital Library Access content directly

Filter your results

3 results
Structure: Internal structure identifier : 30978
authFullName_s : Davide Sangiorgi
Page :
sorted by
Image document

Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)

 Davide Sangiorgi
Coalgebraic Methods in Computer Science, Apr 2014, Grenoble, France. pp.3 - 9, ⟨10.1007/978-3-662-44124-4_1⟩
Conference papers hal-01092815v1
Image document

Ownership Types for the Join Calculus

 Marco Patrignani , Dave Clarke , Davide Sangiorgi
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.289-303, ⟨10.1007/978-3-642-21461-5_19⟩
Conference papers hal-01583320v1

Theoretical Computer Science

 Josep Diaz , Ivan Lanese , Davide Sangiorgi
Josep Diaz; Ivan Lanese; Davide Sangiorgi. Springer, LNCS-8705, 2014, Lecture Notes in Computer Science, 978-3-662-44601-0. ⟨10.1007/978-3-662-44602-7⟩
Books hal-01402084v1
Page :