Ownership Types for the Join Calculus / Patrignani, Marco; Clarke, Dave; Sangiorgi, Davide. - 6722:(2011), pp. 289-303. (Intervento presentato al convegno FORTE tenutosi a Reykjavik, Iceland, nel June 6-9, 2011) [10.1007/978-3-642-21461-5_19].

Ownership Types for the Join Calculus

Patrignani ,Marco;
2011-01-01

2011
Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June6-9, 2011
Reykjavik, Iceland,
Springer
Patrignani, Marco; Clarke, Dave; Sangiorgi, Davide
Ownership Types for the Join Calculus / Patrignani, Marco; Clarke, Dave; Sangiorgi, Davide. - 6722:(2011), pp. 289-303. (Intervento presentato al convegno FORTE tenutosi a Reykjavik, Iceland, nel June 6-9, 2011) [10.1007/978-3-642-21461-5_19].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/336503
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 6
social impact