CRACS Publicatons

Export 3 results:
Sort by: Author Title [ Year  (Desc)]
Filters: Taxonomy Term is Book Chapters and Year is 2017  [Clear All Filters]
2017
Vasco Vasconcelos and Francisco Martins and Eduardo R. B. Marques and Nobuko Yoshida and Nicholas Ng "Deductive Verification of MPI Protocols", in "Behavioural Types: from Theory to Tools (to appear)" , River Publishers, 2017.  Download: betty17.pdf (807.66 KB)
Patricia R. Sousa and Luís Antunes and Rolando Martins "The present and future of privacy-preserving computation in fog computing", in "Fog Computing in the Internet of Things: Intelligence at the Edge" , Springer, Cham, pp.51–69, 2017.