A categorical model for communicating processes is provided encompassing most of the more common standard models.
Categories for modelling communicating processes / Labella, Anna; A., Pettorossi. - In: COMPUTERS AND ARTIFICIAL INTELLIGENCE. - ISSN 0232-0274. - STAMPA. - 6:(1987), pp. 279-296.
Categories for modelling communicating processes.
LABELLA, Anna;
1987
Abstract
A categorical model for communicating processes is provided encompassing most of the more common standard models.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.