Reversible client/server interactions

Barbanera, Franco; Dezani Ciancaglini, M; de' Liguoro, U.

doi:10.1007/s00165-016-0358-2

CINECA IRIS Institutional Research Information System

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

Reversible client/server interactions / Barbanera F; Dezani-Ciancaglini M; de' Liguoro U. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - 28(2016), pp. 697-722.

Titolo:	Reversible client/server interactions
Autori interni:	BARBANERA, Franco Dezani Ciancaglini M de' Liguoro U. mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2016
Rivista:	FORMAL ASPECTS OF COMPUTING
Citazione:	Reversible client/server interactions / Barbanera F; Dezani-Ciancaglini M; de' Liguoro U. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - 28(2016), pp. 697-722.
Handle:	http://hdl.handle.net/20.500.11769/19771
Appare nelle tipologie:	1.1 Articolo in rivista

File in questo prodotto:

Non ci sono file associati a questo prodotto.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/20.500.11769/19771

Citazioni

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