Reasoning about nondeterministic and concurrent actions: a process algebra approach / DE GIACOMO, Giuseppe; XIAO JUN, Chen. - (1996), pp. 658-663.
Reasoning about nondeterministic and concurrent actions: a process algebra approach
DE GIACOMO, Giuseppe;
1996
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.