A first step for analyzing the semantics of parallelism in computations using a categorical approach / Labella, Anna; A., Pettorossi. - In: THE JOURNAL OF SYMBOLIC LOGIC. - ISSN 0022-4812. - STAMPA. - 49:(1984), pp. 695-696.
A first step for analyzing the semantics of parallelism in computations using a categorical approach.
LABELLA, Anna;
1984
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.