Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications / De Nicola, R; Inverardi, P; Nesi, M. - 407:(1990), pp. : 54-67.
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.
De Nicola R;
1990
File in 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.
