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 SystemsFile 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.