Testing equivalence for mobile processes
Testing equivalence for mobile processes / Michele Boreale;Rocco Nicola. - STAMPA. - (1992), pp. 2-16. [10.1007/BFb0084779]
Testing equivalence for mobile processes
BOREALE, MICHELE;
1992
Abstract
Testing equivalence for mobile processes
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
