We analyze the synchronization devices and provide a formalization via categorical means.
Categorical models for handshaking communications / Labella, Anna; A., Pettorossi. - In: ANNALES SOCIETATIS MATHEMATICAE POLONAE. SERIES 4. FUNDAMENTA INFORMATICAE. - ISSN 0324-8429. - STAMPA. - 8:IV(1985), pp. 321-357.
Categorical models for handshaking communications
LABELLA, Anna;
1985
Abstract
We analyze the synchronization devices and provide a formalization via categorical means.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.