Two implementation relations and the correctness of communicating replicated processes / Koutny, M.; Mancini, Luigi Vincenzo; Pappalardo, G.. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 9:(1997), pp. 119-148.
Two implementation relations and the correctness of communicating replicated processes
MANCINI, Luigi Vincenzo;
1997
File allegati a 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.