Reversibility in Massive Concurrent Systems

Luca Cardelli, Cosimo Laneve (2011). Reversibility in Massive Concurrent Systems. SCIENTIFIC ANNALS OF COMPUTER SCIENCE, 21(2), 175-198.

Reversibility in Massive Concurrent Systems

LANEVE, COSIMO
2011

Abstract

Reversibility in Massive Concurrent Systems
2011
Luca Cardelli, Cosimo Laneve (2011). Reversibility in Massive Concurrent Systems. SCIENTIFIC ANNALS OF COMPUTER SCIENCE, 21(2), 175-198.
Luca Cardelli; Cosimo Laneve
File in questo prodotto:
Eventuali allegati, non sono esposti

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/11585/151687
 Attenzione

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

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